CONFIG_PPC_86xx=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
CONFIG_PPC_86xx=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