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