vfio: start with sample code from the docs