Coral TPU driver install for Proxmox 9.0 / Debian 13

Another version, another error. Here is a working script to install the Coral TPU driver on a fresh Proxmox VE 9.0 system:

wget -qO - https://packages.cloud.google.com/apt/doc/apt-key.gpg | gpg --no-default-keyring --keyring gnupg-ring:/etc/apt/trusted.gpg.d/google.gpg --import -
rm /etc/apt/trusted.gpg.d/google.gpg~
chmod 644 /etc/apt/trusted.gpg.d/google.gpg
echo "deb https://packages.cloud.google.com/apt coral-edgetpu-stable main" | tee /etc/apt/sources.list.d/coral-edgetpu.list
apt-get update
apt-get install pve-headers libedgetpu1-std dkms devscripts dh-make dh-dkms git -y
git clone https://github.com/google/gasket-driver.git
cd gasket-driver
sed -i -e 's/no_llseek/noop_llseek/g' gasket_core.c
sed -i -e 's/MODULE_IMPORT_NS(DMA_BUF)/MODULE_IMPORT_NS("DMA_BUF")/g' gasket_page_table.c
debuild -us -uc -tc -b
cd ..
dpkg -i gasket-dkms_1.0-18_all.deb