Meltdown and Spectre mitigations for Xen, Linux and Windows