[PATCH 6.0 285/314] vfio: Rename vfio_ioctl_check_extension()