[coreboot-gerrit] Patch merged into coreboot/master: 7762091 armv7: set cache level explicitly for dcache/unified cache case