Right, I was working with them on such an issue but forgot about the coreboot firmware. You may add initcall_blacklist=simpledrm_platform_driver_init to the kernel boot line in /etc/default/grub and rebuild your menu with update-grub.
Right, I was working with them on such an issue but forgot about the coreboot firmware. You may add initcall_blacklist=simpledrm_platform_driver_init to the kernel boot line in /etc/default/grub and rebuild your menu with update-grub.