ppc4xx: Update AMCC Kilauea config file