I have just acquired a R4i3D 2012 cart, but r4i3d.com seems to be down at the moment, so I cannot download the most recent files to make it work. Does anyone know where I can find them? All I've found while searching have been previous versions of the firmware/kernel. Also, while you're here, another question- will a 4gb microSD card work in the cart? I read somewhere that R4 carts will only support up to 2gb and am wondering if that's true for these newer clone types.