158b12eb2SMichael EllermanCONFIG_PPC_86xx=y 258b12eb2SMichael EllermanCONFIG_MPC8641_HPCN=y 358b12eb2SMichael EllermanCONFIG_SBC8641D=y 458b12eb2SMichael EllermanCONFIG_MPC8610_HPCD=y 558b12eb2SMichael EllermanCONFIG_GEF_PPC9A=y 658b12eb2SMichael EllermanCONFIG_GEF_SBC310=y 758b12eb2SMichael EllermanCONFIG_GEF_SBC610=y 858b12eb2SMichael EllermanCONFIG_MVME7100=y 958b12eb2SMichael EllermanCONFIG_HIGHMEM=y 1058b12eb2SMichael EllermanCONFIG_KEXEC=y 1158b12eb2SMichael EllermanCONFIG_PROC_KCORE=y 12