[coreboot-gerrit] New patch to review for coreboot: 3282ccc armv7: explicitly select L1 dcache when disabling MMU