1CONFIG_SPL=y 2CONFIG_SYS_EXTRA_OPTIONS="P1020RDB_PC,36BIT,SDCARD" 3CONFIG_PPC=y 4CONFIG_MPC85xx=y 5CONFIG_TARGET_P1_P2_RDB_PC=y 6