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