Not working after reboot

[AKDub]

Card is a TBS6281SE.

Manage to compile the drivers yesterday and after a reboot everything was working OK. Card was detected in tvheadend with no issues.

After a reboot today to move the PC now the driver does not seem to be loading on boot.

My linux knowledge is not good enough to troubleshoot this.

Can anyone help?

---

sudo dmesg | grep 'DVB: registering' gives no result

sudo lspci -v | grep --after-context=10 7160 gives no result

sudo make rmmod gives;

make -C /usr/src/media_build/v4l rmmod
make[1]: Entering directory '/usr/src/media_build/v4l'
scripts/rmmod.pl unload
found 735 modules
/usr/sbin/rmmod rc_core
Pulseaudio is running with UUID(s): 1000
bash: line 1: pacmd: command not found
bash: line 1: pacmd: command not found
rmmod: ERROR: Module rc_core is in use by: cec
/usr/sbin/rmmod rc_core
bash: line 1: pacmd: command not found
bash: line 1: pacmd: command not found
rmmod: ERROR: Module rc_core is in use by: cec
Couldn't unload: rc_core
make[1]: Leaving directory '/usr/src/media_build/v4l'

sudo modprobe saa716x_budget int_type=1 gives;

modprobe: FATAL: Module saa716x_budget not found in directory /lib/modules/6.1.0-28-amd64