[PATCH] virtgpu: Update kernel header