Re: [coreboot] [ANNOUNCE] SeaBIOS 1.9.0