Re: [coreboot] [PATCH] __ROMCC__ ifdefs