Re: [coreboot] Compiling for Pixel