This kernel is meant for the R4i-SDHC 3DS RTS from r4i-sdhc.com. Extract it to the microSD card and that's it.