Now you can buy the 2014 r4i sdhc rts lite flashcart with newest kernel from here : 2014 R4i SDHC RTS Lite Flashcart
Here is the step by step about how to set up the 2014 r4i sdhc rts lite flashcart with the newest kernel V3.4b.