[coreboot] [PATCH] ifdef & config problems