FWIW, Debian have now enabled CONFIG_FSL_MC_UAPI_SUPPORT=y and CONFIG_VFIO_FSL_MC=m, which should land in the next 5.14 or 5.15 upload to unstable. Not the other patches related to VFIO passthrough though, so that might look like it’ll work but probably won’t?