[x86 setup] Work around bug in Xen HVM