Re: [coreboot] [RFC] Explicitly use C89 (was: Setting C99 by default)