[coreboot-gerrit] Patch set updated for coreboot: 723afe6 coreboot arm64: Correct cache function names