Switch to kernel smdk4412 omnirom