I opened a support request @ HP for this issue (I still think it's more likely that this is a BIOS bug than a Linux bug) and sent them the link to this bug report. HP is investigating the problem and I just got a mail that said that they assigned "additional resources" to the problem. Let's hope they find a solution...
-- Clean shutdown prevents BIOS from accepting keystrokes https://launchpad.net/bugs/67293 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
