A test case for VFIO_PLATFORM currently based on the PL330 DMA controller