x86, xen: short-circuit tests for dom0