[coreboot-gerrit] New patch to review for coreboot: 007e33c armv7: update sync barrier usage in dcache_op_set_way()