Installing hat 2 drivers on nvidia jetson

Hi. Im installing the ReSpeaker 2-Mics Pi HAT on an Nvidia Jetson Nano running Ubuntu. I’m following the instructions of the Jetson driver install page. Ive downloaded the repo several times, but stuff seems to be missing. Notably, one terminal command looks for a ko that is not in the directory. I’m not sure where the file is supposed to be if it is not included in the download. Here is the terminal command and result I am discussing (some characters do not show in this post):

~/seeed-linux-dtoverlays $ sudo -E KBUILD=/usr/src/linux-headers-4.9.201-tegra-ubuntu18.04_aarch64/kernel-4.9 make install_jetsonnano
cp: cannot stat ‘2xMCP2518FD-spi0.dtbo’: No such file or directory
install /boot/2xMCP2518FD-spi0.dtbo
cp: cannot stat ‘jetson-sdmmc-overlay.dtbo’: No such file or directory
install /boot/jetson-sdmmc-overlay.dtbo
cp: cannot stat ‘jetson-seeed-2mic-voicecard.dtbo’: No such file or directory
install /boot/jetson-seeed-2mic-voicecard.dtbo
cp: cannot stat ‘tegra194-p3668-all-p3509-0000-gpios.dtbo’: No such file or directory
install /boot/tegra194-p3668-all-p3509-0000-gpios.dtbo
Kernel module is installed, proceed to the next step
mkdir -p /lib/modules/4.9.337-tegra/extra/seeed || true
/home/boatwhisperer/seeed-linux-dtoverlays/modules/CAN-HAT/.ko
cp: cannot stat '/home/boatwhisperer/seeed-linux-dtoverlays/modules/CAN-HAT/
.ko’: No such file or directory
Makefile:164: recipe for target ‘install_jetsonnano’ failed
make: *** [install_jetsonnano] Error 1

Getting started with Nvidia Jetson | Seeed Studio Wiki
Hi, did you follow the tutorials in the wiki? Which step did you run into problems? Is your ubuntu running as a linux host rather than a virtual machine?
What is the version number?

Can you give us more information? This helps me troubleshoot problems! thx