Common device tree for samsung smdk4412 devices