1CONFIG_PPC_86xx=y 2CONFIG_MPC8641_HPCN=y 3CONFIG_SBC8641D=y 4CONFIG_MPC8610_HPCD=y 5CONFIG_GEF_PPC9A=y 6CONFIG_GEF_SBC310=y 7CONFIG_GEF_SBC610=y 8CONFIG_MVME7100=y 9CONFIG_HIGHMEM=y 10CONFIG_KEXEC=y 11CONFIG_PROC_KCORE=y 12