1373762c3SChunhe LanCONFIG_PPC=y 2373762c3SChunhe LanCONFIG_MPC85xx=y 3373762c3SChunhe LanCONFIG_TARGET_T4240RDB=y 4*bd328eb3SJoe HershbergerCONFIG_SPL=y 5*bd328eb3SJoe HershbergerCONFIG_SYS_EXTRA_OPTIONS="PPC_T4240,RAMBOOT_PBL,SPL_FSL_PBL,SDCARD" 6