[coreboot] Re: Coreboot build process with gcc 8.1