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