Hi,

> If you want to boot OpenBSD on an HP EliteBook 830 G7/G8, the bootloader
> will hang while loading the kernel.  Because, the UEFI loads the
> bootloader on the same place in memory, where the bootloader will copy
> the kernel.  We are unable to load the kernel on arbitrary memory.
> Thus, the following diff will help you, to get OpenBSD running on these
> machines.  It moves the hardcoded Kernel address to a free place.

This patch is the missing piece that was required to make more recent HP 
amd64 machines. Including my new daily driver Elitebook with 11th gen 
Core i5.

> I don't intend to commit this.  Its just a hint for people who are
> running in the same issues, as I did.

Out of curiosity (I am not a developer, nor have deep insights into 
UEFI): is there a reason for not committing this? Have tried this patch 
on non-HP amd64 machines too; they all seem to work flawlessly.

Thanks a million for this fix!

Best,
-J.