Re: [coreboot] [PATCH] Print what mainboard coreboot is being built for during build