coreboot-kgpe-d16/util/cavium
..
devicetree_convert.py