CONFIG_PPC_86xx=y CONFIG_MPC8641_HPCN=y CONFIG_MPC8610_HPCD=y CONFIG_GEF_PPC9A=y CONFIG_GEF_SBC310=y CONFIG_GEF_SBC610=y CONFIG_MVME7100=y CONFIG_HIGHMEM=y CONFIG_KEXEC=y CONFIG_PROC_KCORE=y
