Re: [SeaBIOS] [coreboot] Setting up build environment