[coreboot] New on blogs.coreboot.org: [GSoC] Coreboot Coverity, week 4