Hi all i have got a nintendo dsi xl and it has v1.4.2 firmware on the console itself,i have an acekard 2i and a r4isdhc v.14 will either of these cards work on it ?many thanks p.s if these card dont work which ones will please,thanks