Am 20.10.2023 um 21:01 schrieb Philipp-Joachim Ost: > Where do I get the missing linuxkpi_hdmi kernel module from?
Follow-up: root cause was a case of PEBKAC. I had a MODULES_OVERRIDE rule in /etc/make.conf that prevented building the linuxkpi* kernel modules. It's working now. Sorry for the noise. Philipp