xenvirt: fix 32-bit build