virtio-gpu: rename virgl source file.