[coreboot] Patch merged into coreboot/master: 386758f Update SeaBIOS stable to the release-1.7.1 commit