kernel: use dtc from prebuilt

dtc from OUT_DIR might not be available, so use the prebuilt one instead.

Also, clean-up a little bit and follow the same logic as prebuilt make binary.

Change-Id: I4dbf6233db98d5528f0d3890141e46d7a6d8e1c3
3 files changed