[coreboot] [ANNOUNCE] SeaBIOS 1.13.0