coreboot-kgpe-d16/util/ipqheader
..
createxbl.py
ipqheader.py
mbn_tools.py
mbncat.py