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