kernel: hikirk 3.17

Add hikirk board support for kernel 3.17.

Signed-off-by: Mario Schuknecht <mario.schuknecht@dresearch-fe.de>
hikirk: Build device tree

Build device tree for hikirk board.

Signed-off-by: Mario Schuknecht <mario.schuknecht@dresearch-fe.de>
Images: Install device tree

Install device tree in all images.

Signed-off-by: Mario Schuknecht <mario.schuknecht@dresearch-fe.de>