A test for VFIO_PLATFORM returning device node properties to the user