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