This fixes (userspace) console on the Marvell MACCHIATObin in ACPI mode with latest TianoCore EDK2 firmware.
(clock frequency for Synquacer found here; idk if actual HiSilicon chips use a different one from the mcbin?)
Ideally, we would also read this kind of stuff:
Name (_DSD, Package () {
ToUUID("daffd814-6eba-4d8c-8a91-bc9bbf4aa301"),
Package () {
Package () { "clock-frequency", 62500000 },
Package () { "reg-io-width", 4 },
Package () { "reg-shift", 2 },
}
})(woo, devicetrees)
but as a quick fix, let's have the entries with the clock-frequency from the mcbin?