Hi user483,
I found your guide while troubleshooting the always failing install of /hailort-pcie-driver (5.3.0).
Checking the hailort-pcie-driver.deb.log showed the invalid function call del_timer_sync in file monitor.c.
My current fresh RPI install is Debian Trixie and kernel 6.18.34+rpt-rpi-2712
Reference: HailoRT Build Development Doc - warts and all
I looked for the file and edited all 3 instances. Then I extracted the postinst.sh from the deb-package, ran it and the install succeeded.
Once that was done I could follow your instructuions successfully.
Steffen