Kernel Linux com suporte VFIO
