Can confirm that the workaround implemented in the test kernel 5.19.1-1.g6993685-default also works with default kernel boot options, i.e. no need to pass amd_iommu=off or iommu=off.