Re: [coreboot] [PATCH] Fix v3 build dependencies on build.h