Copy head (r256279) to stable/10 as part of the 10.0-RELEASE cycle.Approved by: re (implicit)Sponsored by: The FreeBSD Foundation
Forced commit to note that this file was repocopied from ../libski.Repocopy by: peter
Use __FBSDID rather than rcsid[].
Add a version of the loader which runs under SKI, the HP ia64 simulator.This loader is quite functional and can load and run kernels. The kernelsdon't quite work right after loading but that should be easily fixable.