fix QEMU build on Xen/ARM