Kernel r4 sdhc dual core 2014