xenvirt: fix build for 32-bit platform