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?