Adapt FreeBSD specific DT stub for Jetson TK1 board to be consistent with
update of devicetree to 4.19 in r340337.  Our build system doesn't provide
dependencies for included DTS files, so nobody noticed this issue for long
time.