[coreboot] Patch merged into master: 0f56ebb SMM: flush caches after disabling caching