I managed to find and re-flash the stock F.16 BIOS version from HP (usually don't trust those 3rd party "driver installer" sites but it came through this time). The whitelist is back (yay, I guess), but with the wi-fi card removed I've managed to run some more tests. As I opened up the case I also installed a new CMOS battery, just to be safe.
On Wed, 31 Dec 2025 10:28:07 +0000 Crystal Kolipe <[email protected]> wrote: > > [ 1.023181] wmihp0 at acpiwmi0: HP WMI mappings > > [ 1.023181] wmihp0: autoconfiguration error: failed to get data > > for event 0x80: AE_BAD_DATA This seems to be the case also with the stock BIOS. dmesg.boot on NetBSD still has the same error after flashing the stock F.16 BIOS. > > Just brwowsing through the dmesg I notice the CMOS clock is way off. > > Possibly a dead battery. Would that cause issues? > > Probably not the cause of this specific problem, but in general a > faulty CMOS battery can potentially cause all sorts of non-obvious > and difficult to identify issues, so if you can replace it that would > probably be a good idea. I did, well, didn't seem to make a difference. Clock keeps time at least. > For testing purposes only and to try to gather more information, can > you try booting the OpenBSD installer and disabling the acpi driver > in the bootloader? > Dropping to config with `boot -c` and then calling `disable acpi` gets me a working installer. Attaching a dmesg for this one too.
F16Bios-stock-OpenBSD-78-i386-dmesg.boot
Description: Binary data
openbsd78-patchedfw-dmesg.boot
Description: Binary data
