Re: [coreboot] Linux and distribution versions and installed tools