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