Sadly, that may be a long time down the road. From the research I've done, it took them a long time just to get up to 9.2 on the original 3DS hardware. I don't know if they'll ever try to go up to 9.5 since by the time they actually do it, the interest of the 3DS will be over (speculation ofc)...