Reverting a binary device tree into its source