mkosi-initrd: add a few modules for RPI

With this I can boot a RPI3 using this firmware:
https://github.com/pftf/RPi3

diff --git a/mkosi/resources/mkosi-initrd/mkosi.conf.d/arm.conf b/mkosi/resources/mkosi-initrd/mkosi.conf.d/arm.conf
new file mode 100644 (file)
index 0000000..7794093
--- /dev/null
+++ b/mkosi/resources/mkosi-initrd/mkosi.conf.d/arm.conf
@@ -0,0 +1,11 @@
+# SPDX-License-Identifier: LGPL-2.1-or-later
+
+[Match]
+Architecture=arm64
+
+[Content]
+# Needed on ARM boards like RPIs to get USB and sdcards working
+KernelModules=
+              /drivers/mmc/host/
+              brcmutil
+              udc-core