A blend of Xen's FreeBSD-ARM branch and mainline FreeBSD