Hi!
First off I'll start by saying I'm not all that computer savvy, so please bare with :)
I own an R4i RTS 3DS card from www.r4i-sdhc.com, and I own a 3ds XL.
I purchased an SD card, formatted it to FAT32. After downloading the latest kernel, unzipping it and putting the files onto the SD card...