[coreboot] Bug when I compiling coreboot with SeaBIOS