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...