I just bought two used R4 cards, and when I plug them into my DSI (v1.4.3u) they show up as "ALEX RIDER STORMBREAKER THQ" and clicking them just leads to a message saying an error has occurred.
I confirmed the WIFI R4 as being authentic via its website. Is the yellow card authentic too...