Comment by cesarb

Or perhaps they're using a custom-compiled Xen without the vulnerable floppy disk emulation.