Re: [coreboot] [PATCH] separate build.h and config.h