[coreboot-gerrit] Patch merged into coreboot/master: ad4afe9 armv7: Fix dcache writethrough policy handling