put back phytec-ksp5012 kernel