[Bug 976250] Xen HVM guests fail to boot with OVMF