tree a4c753cae19f804e6996f9677ae68f85f75aeeca
parent bdff56965d3457d53c488bbf50d2793d9b5983e9
author Brad Bishop <bradleyb@fuzziesquirrel.com> 1462581343 -0400
committer Brad Bishop <bradleyb@fuzziesquirrel.com> 1463495152 -0400

Re-enable out of tree device trees

This snippet was mistakenly removed with 8ef9fee.

Note that this isn't a matter of policy, it simply enables
the option to do it.  The in-tree device tree is still the default.

This enables things like workbook or schematic generated device
trees.  It also addresses the inevitable fact that the upstream kernel
will probably not want device trees for every board in the world.

Signed-off-by: Brad Bishop <bradleyb@fuzziesquirrel.com>