Very interesting. Thanks a lot for this! I will experiment and see if I can get it working.

I use older Thinkpads with Optimus switching, so using the Intel GPU is not opotional: it is always on, but the OS offloads GPU-intensive stuff to the nVidia GPU.

In my testing with Debian 12, I could not get my nVidia chips recognised at all. In some distros, this has the side-effect of disabling the Displayport output, which is a deal-breaker as I use an external monitor and the machines do not have HDMI.