Python tools to manage Flattened Device Trees