rp2/machine_timer: Support hard IRQ timer callbacks.#17363

dpgeorge merged 3 commits intomicropython:mastermicropython/micropython:masterfrom

arachsys-prs:rp2/hardtimerarachsys-prs/micropython:rp2/hardtimerCopy head branch name to clipboard