Move device tree configuration to machine files. Check for device tree
in sd card creation and include device tree file in first partition.
Signed-off-by: Jens Lucius <info@jenslucius.com>
Recent u-boots (e.g. 2014.04-rc) need the _config appended to work, so
add that and sync the names with boards.cfg as well.
Signed-off-by: Koen Kooi <koen@dominion.thruhere.net>
Jens Lucius