I'm building a test kernel with the reverts of a few iommu-related patches in OBS home:tiwai:bsc1184585 repo. It'll be available later (after an hour or so) at: http://download.opensuse.org/repositories/home:/tiwai:/bsc1184585/standard/ Please check it and verify whether it boots without the boot option workaround. Note that this is also a kernel with an unofficial key, so the Secure Boot won't work.