reproduce (this is a W=1 build):
        # https://github.com/yiliu1765/iommufd/commit/d39032654710dfe496616b6df763fa99ba89021d
        git remote add yiliu1765-iommufd https://github.com/yiliu1765/iommufd.git
        git fetch --no-tags yiliu1765-iommufd wip/iommufd_pasid-20240714
        git checkout d39032654710dfe496616b6df763fa99ba89021d
        # save the config file
        mkdir build_dir && cp config build_dir/.config
        make W=1 O=build_dir ARCH=i386 olddefconfig
        make W=1 O=build_dir ARCH=i386 SHELL=/bin/bash drivers/vfio/pci/