1CONFIG_SPL=y 2CONFIG_TPL=y 3CONFIG_SYS_EXTRA_OPTIONS="P1025RDB,NAND" 4+ST:CONFIG_PPC=y 5+ST:CONFIG_MPC85xx=y 6+ST:CONFIG_TARGET_P1_P2_RDB_PC=y 7