1*dd84058dSMasahiro YamadaCONFIG_SPL=y 2*dd84058dSMasahiro YamadaCONFIG_SYS_EXTRA_OPTIONS="BOARD_JETSON_TK1=" 3*dd84058dSMasahiro Yamada+S:CONFIG_ARM=y 4*dd84058dSMasahiro Yamada+S:CONFIG_TARGET_JETSON_TK1=y 5