[coreboot-gerrit] Patch merged into coreboot/master: 3553119 arm64: Guard prints in mmu.c