[SeaBIOS] Re: [coreboot] Re: Upgrade the 12 years old LZMA libraries - should we do it?