Updated device trees to ours and added kernel sources