Documentation refers to Windows Hypervisor Platform as wphx instead of whpx