Re: [coreboot] [PATCH] ifdef & config problems