It seems[1] that GPS at least already broadcasts "GPS time", which is fixed at TAI plus 19 seconds, and hence doesn't include leap seconds.

[1] http://en.wikipedia.org/wiki/Global_Positioning_System#Timek...