[coreboot] build failure on amd64 host:- help