@lpassamonte not sure if you’re even still here or trying this but I just joined so gonna necro the thread. Probably better for you to post rpi specific questions in the raspberry pi forums, and a quick google search found this thread that might solve your issue: https://www.raspberrypi.org/forums/viewtopic.php?t=5107 Basically they had to edit the config file and enable a couple of HDMI boot options. Good luck!

@hango this way you’ll always have problems updating the respective modules. You would have to reset all of your local changes and fill them in after an update. How do you deal with that?