tools: Only issue a single Ctrl-C when entering raw REPL.#15991

dpgeorge merged 1 commit intomicropython:mastermicropython/micropython:masterfrom

dpgeorge:tools-only-do-a-single-ctrl-cdpgeorge/micropython:tools-only-do-a-single-ctrl-cCopy head branch name to clipboard