tree="coreboot413"
rev="5c186c6777c9438ff4681929c9c25c98dee28bef"
xarch="i386-elf"