About a year ago, I had gotten my hands on an Elitebook 840 G8. It would not boot #OpenBSD. After some deep research, I found out that it was due to a broken UEFI architecture - thanks to the always wonderful HP.
I eventually found a fix - recompiling the OpenBSD kernel with a bit higher offset. While I had it scripted (loosely based on earlier work by @rqm ), it still was a pain for someone whom upgrades the snapshots daily.
So, I eventually gave up and moved to a different machine. Slapped #SecureBlue on the Elitebook for the occassional shits and giggles.
Recently though there was a firmware update for the UEFI. With a long list of fixes, I thought I'd try again.
And it worked
I am now typing this Toot on the Elitebook, running OpenBSD-current with the vanilla kernel 







