Issue encountered booting FreeBSD STABLE and CURRENT snapshots with EFI

[Peter Grehan]

Hi Kyle,

> FYI- I've created PR #2 [1] against the freebsd/uefi-edk2 repository
> and have confirmed that this fixes the broken-looking firmware along
> with the booting problem experienced in this thread.
> 
> [1] https://github.com/freebsd/uefi-edk2/pull/2

  Thanks - merged. I've asked Fabian to update the UEFI ports.

later,

Peter.