CONFIG_SPL=y +S:CONFIG_ARM=y +S:CONFIG_TARGET_TX25=y