I've looked everywhere I could.. and still cannot find the original R4 SDHC kernel / firmware. The card works (says "Couldn't find the SD/TF card" when there's none inserted, loads forever with YSMenu) as far as I know. I just wanted to use that old-looking original firmware on it. I had it working before, about 3 months ago, but can't find the kernel now. The front of the cart just says: R4 SDHC Revolution for DS (NDSL/NDS) (no WiFi, no "Upgrade", no link; just what is listed above). Can anyone help?