Re: [coreboot] [RFC] Explicitly use C11/GNU11