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