Copy head (r256279) to stable/10 as part of the 10.0-RELEASE cycle.Approved by: re (implicit)Sponsored by: The FreeBSD Foundation
Provide support in loader for booting 64-bit PowerPC kernels. Like amd64,64-bit PowerPC kernels are loaded by a 32-bit loader, since nearly allpowerpc64 firmwares execute in 32-bit mode.