Correction: I diff'd the two binary dsdt files, and there's no difference. -- Kernel stops booting on HP EliteBook 8530w https://bugs.launchpad.net/bugs/288385 You received this bug notification because you are a member of Kernel Bugs, which is subscribed to linux-meta in ubuntu.