[coreboot-gerrit] Patch merged into coreboot/master: 276ff99 arch/arm64: Drop extra comment