FreeBSD 13-CURRENT r354699 boot failure

[Ed Maste]

On Thu, 14 Nov 2019 at 22:54, Shawn Webb <shawn.webb at hardenedbsd.org> wrote:
>
> Hey all,
>
> I'm trying to figure out why FreeBSD fails to boot on the ThunderX2
> system The HardenedBSD Foundation owns, a Gigabyte R181-T90 Rev 100.

FreeBSD runs fine on the ThunderX2 I have here, which reports:
UEFI firmware (version TX2-FW-Release-7.1-build_03 built at 01:02:16
on Sep  7 2018