efi loader: allocate space for the kernel as code rather than data

[allanjude]

Summary

This allows the boot loader to start on the Microsoft ARM dev kit 2023

Obtained from: OpenBSD (2c32ef33f5b1573564f64f1fbf0393c80a7eb0e8)
Sponsored by: Klara, Inc.

[imp]

stand/efi/boot1/boot1.c

171

This is for the heap which isn't where we put the kernel...
I'm not sure how this would help.

stand/efi/loader/efi_main.c

100

Same. I think you'd need to change copy.c which is where we allocate pages for the kernel, metadata and loadable modules.

[imp]

Can you see if you can drop this change and still have things working? I'd be very keen to know either way.

[allanjude]

This is not needed