Update for EFI header changes

Sponsored by:	The FreeBSD Foundation