The specs leaked yesterday (which was a Jetson TX1 board btw so it can't be exactly the switch since it's custom as said by Nvidia) put the console at 512 Gflop (max). Those new super powerful beefy leaked specs put it at 725 Gflop (max). I mean, it's a different, but it's not like we're talking Wii vs Ps3.
Don't get me wrong, if the Devkits are cooled TX1s (which seems extremely likely as many rumors said that), the console is probably there as well. Maybe a bit faster, maybe a tad slower, but we've got the ballpark already, and it's 500 Gflops or so. I don't think it will be slower than the Devkit anyway because it would be annoying for developers. If anything, i'm expecting they'll cut down the frequencies a bit more for mobile mode if it's really 3 hours max battery time. A bigger differential between mobile and home mode would also make the resolution switch from 720p to hypotetically 1080p more smooth too.