Re: kernel goes dark on boot

[Martin Husemann]

I wonder if tuning EFI_ALLOCATE_MAX_ADDRESS in
src/sys/arch/i386/stand/efiboot/Makefile.efiboot would be enough.

Martin