[coreboot] [ANNOUNCE] SeaBIOS 1.7.4