[coreboot-gerrit] New patch to review for coreboot: 4cbf25f arm: Redesign, clarify and clean up cache related code