make <...> buildkernel \
UBLDR_LOADADDR=0x80408000 \
-DWITH_FDT \
TARGET_ARCH=armv7 \
TARGET=arm \
__MAKE_CONF=/dev/null \
 srcconf=/dev/null \
-DDB_FROM_SRC \
KERNCONF=JETSON-TK1
make <...> installkernel
DESTDIR=$NFSROOTDIR \
KERNCONF=JETSON-TK1 \
-DDB_FROM_SRC