Build own device tree and linux kernel

@schnudi I found a workaround.

Continuing the discussion from How to upgrade Linux kernel 3.10ltsi into SD card (v3.9 existed)?: