Makes virtio_ring.h a kernel header (XCC)