virtio: fix 32-bit build for 64-bit kernel