Patches to device-tree-compiler debian packaging