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

[Nickolas Lloyd]

Sorry about the mangling, I've attached the patch this time.

Nickolas