[DuoVero] Add support for device tree kernel

This will generate .dtb file necessary to boot a device tree
enabled kernel such as 3.17.