It seems unlikely that the GPS receiver is hardwired directly to the clock display in the dashboard. There's probably some code running somewhere in the middle. So it should be easy enough to make the leap second correction there, and to keep it up to date through routine updates.