[coreboot-gerrit] Patch merged into coreboot/master: 9484f55 arch/arm64/boot.c: Only return if condition is met