Cleanup TCB header a la OpenBSD/armv7.
Import of OpenBSD/arm64This commit contains all the kernel files related to the OpenBSD/arm64port. It is based on the PowerPC pmap, loongson, arm/armv7 code andFreeBSD aarch64 code. Hard work done by Dale Rahn.