arm64/vmm: Teach vmm_arm.c about VHE

Most of the code is identical however some, e.g. managing EL2 memory
or setting EL2 registers, are unneeded under VHE as the kernel is in
EL2 so can manage these directly.

Sponsored by: Arm Ltd
Differential Revision: https://reviews.freebsd.org/D46076