On Thu, Jan 12, 2023 at 07:59:47PM +0000, Robin Murphy wrote: > drivers/iommu/Kconfig | 18 ++++++++++++------ > 1 file changed, 12 insertions(+), 6 deletions(-) Applied, thanks Robin.