Related; same manufacturer (HP), same problem, different BIOS provider
https://bugs.launchpad.net/opensuse/+source/linux/+bug/412167
Related; same manufacturer (HP), same problem, different BIOS provider
https:/ /bugs.launchpad .net/opensuse/ +source/ linux/+ bug/412167