Advisory: XSA-333
Xen, after 4fdc932b3cc (Introduced in Xen 4.11) had no WRMSR-safety for guest accesses to MSR_MISC_ENABLE. This MSR doesn't exist on AMD hardware, and Xen would crash on access.
