Update and check in remainder of ARM hypercall stuff that was hiding in a git
stash.
Merge branch 'taintWIP'