UEFI version used in VMware virtual machines