[coreboot-gerrit] Patch set updated for coreboot: 34b8999 arm: Redesign, clarify and clean up cache related code