rebase 4k iommu patch; increase size of media to 2G for distro kernel

[m1-debian] / files / sources.list

deb http://ftp.fau.de/debian testing main contrib non-free
deb-src http://ftp.fau.de/debian testing main contrib non-free