And a note on the eMMC support: It is currently not compatible with enabling the IOMMU feature in the BIOS. See https://lkml.org/lkml/2019/9/21/31 The issue appears that the embedded eMMC (sdhci) controller does not get reported as a PCI device, but gets treated as such from the IOMMU :-O
Right out of the box I was able to install both Ubuntu MATE 18.04 and 20.04 to the EMMC. It booted fine with both. 8-Dale
