https://bugs.freedesktop.org/show_bug.cgi?id=48880
--- Comment #20 from Tvrtko Ursulin tvrtko.ursulin@onelan.co.uk 2012-04-19 07:09:04 PDT --- What about the BIOS bug angle? Because kernel is not setting up the hardware directly, but asking the BIOS to do it, right? Is that out of the question?