[coreboot] Re: Segmentation error while compile Coreboot binary on branch 4.8.1