Re: [coreboot] [PATCH 1/2] BUILD: add config.h dependency