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.)