[seL4] DMA driver in VM