kvm-4.5-1

support of 248 VCPUs.

* ARM: rewrite of the arm64 world switch in C, support for
16-bit VM identifiers.  Performance counter virtualization
missed the boat.

* x86: Support for more Hyper-V features (synthetic interrupt
controller), MMU cleanups