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