[coreboot] New on blogs.coreboot.org: coreboot versions 4.20 and 4.20.1 have been released