[coreboot-gerrit] Patch set updated for coreboot: 13c6016 coreboot arm64: Correct cache function names