So, a relative just gave me a R4 SDHC Happy Box 2.0 without microSD, that in itslef isn't a problem since i have my o3DS' past 16 GB microSD, but i'm looking for the firmware and can't find a working donwload link. Is there any webpage that stores them for legacy purposes? Even the official ones are dead.