Documentação do kernel VFIO LTS Linux
