Until the patch arrives here's the solution: instead of nomodeset, boot with pci=nomsi command. This is doing exactly the same as the patch.
Until the patch arrives here's the solution: instead of nomodeset, boot with pci=nomsi command. This is doing exactly the same as the patch.