1CONFIG_SPL=y 2CONFIG_SYS_EXTRA_OPTIONS="BOARD_JETSON_TK1=" 3+S:CONFIG_ARM=y 4+S:CONFIG_TARGET_JETSON_TK1=y 5