I've tested 3 brands of 128gb microsd and didn't experience any "lag", it just takes longer to boot to the homescreen... Once the 3ds is loaded, everything works great
In fairness I did say others I had spoken to had no complaints, perhaps I was just unlucky or my expectations were too high