hw/i386/xen: Remove dead code