K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-06-11T14:02:23.458118Z
K 7
svn:log
V 103
Pass the ACPI table pointer to the arm64 kernel from loader.efi.

Sponsored by:	The FreeBSD Foundation

END