I formatted the card using SD Formatter 4.0, downloaded a fresh archive from r4ids.com, extracted it to a folder, copied the files over, and it didn't work. I tried with the 32gb sd card and a 2gb sd card. I think I may have bricked the card since I put the kernel from r4ids.cn on the card at...