https://bugs.freedesktop.org/show_bug.cgi?id=66963
--- Comment #150 from 720 p@repa.info --- Too bad there is no quirk or some dirty workaround that we could use to fix the boot issue. Because damn, it's not cheap to replace a laptop. (Which works just perfect on Windows 7.)