Devicetree_convert Tool to convert a DTB to a static C file `Python`