i just used a 4gb micro SD that came with the console, and i can confirm, i now have G3DS in settings.
So yeah must be a bug, gonna try to update and backup the SD and push the IMG to the 16 gb card and see if that works
Edit: cant seem to update, Just boots me back to Sys nand with the...