K 10
svn:author
V 5
benno
K 8
svn:date
V 27
2013-01-30T01:05:24.811689Z
K 7
svn:log
V 188
Make the EFI loader build as 64-bit on amd64.

This may cause further problems with the 32-bit boot code which hasn't been
tested with these changes yet.

Sponsored by:	FreeBSD Foundation

END