CVS: cvs.openbsd.org: src

[Mark Kettenis]

CVSROOT:        /cvs
Module name:    src
Changes by:     kette...@cvs.openbsd.org        2016/05/14 12:04:02

Modified files:
        sys/arch/armv7/include: loadfile_machdep.h 

Log message:
Load the kernel at the address pre-allocated by the EFI bootloader.