[coreboot] [coreboot - Bug #318] (Resolved) denverton_ns: Fix MRC cache write