>> FreeBSD EFI boot block
Loader path: /boot/loader.efi
Consoles: EFI console
Image base: 0x78765000
EFI version: 2.40
EFI Firmware: EDK II (rev 1.00)

FreeBSD/amd64 EFI loader, Revision 1.1
(root@releng1.nyi.freebsd.org, Wed Aug 12 15:21:04 UTC 2015)
Loading /boot/defaults/loader.conf
/boot/kernel/kernel text=0xfc8de8 data=0x1283b0+0x207880 syms=[0x8+0x145350+0x8+0x15fe20]

Hit [Enter] to boot immediately, or any other key for command prompt.
Booting [/boot/kernel/kernel]...
Start @ 0xffffffff802dfc70 ...