build: directly generate device tree object with gcc

Different shells handle backslash characters in echo differently,
causing device_tree.s to be generated incorrectly.

Add an explicit device_tree.S source file, and define a constant at
compile time with the build to be included.

Change-Id: I7ae7fb46d772c3e7f6f5d4f5996933254b4195bc