Function: restore-overriding-map

Restore `overriding-terminal-local-map' to its saved value.