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