[coreboot-gerrit] Patch set updated for coreboot: 7fc66dc program loading: provide one cache maintenance callback