@jeanmimi@mamot.fr Since the USB glitches were also present in the BIOS menu, I am quite certain it had nothing to do with OpenBSD. Maybe the firmware I flashed was too new for the UEFI version, or it needed some kind of reset beyond a shutdown, which happened as a side effect of the update. I don't know, but now my machine works again :)