It seems that while building Trusted Firmware A for the Marvell Armada platform with GCC 12 on openSUSE Tumbleweed, I'm encountering an issue related to the mmio_read_32 function. The error appears to stem from stricter checks or new warnings introduced in this version of GCC.