Re: [coreboot] [PATCH]Include headers instead of sources in romstage, part 1/many