[coreboot] Re: [ANNOUNCE] SeaBIOS 1.16.0