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