So after years of not using my old Nintendo DSi and I recently stumbled upon it and with it my old R4 card from r4i3d-multi. Unfortunately it didn't have an microSD card inside and I probably formatted the card that was inside many years ago. Now my problem is that I can't find the right kernel...