arm64: dts: models: use list instead of tuple for mmci interrupts