Please provide a clear and concise description of the bug along with logs

When trying to setup a timer to run on a Pi Pico W, the Machine.Timer module appears to be broken, and the callback function is never called whilst using this extension.
The code functions perfectly using a different software to program the device (I.e. Thonny).

What are the steps to reproduce this issue?

1. Using latest Micropython Firmware on a Raspberry Pi Pico W, alongside latest version of MicroPico extension.
2. Try to run the following code on the pico.

from machine import Timer

tim = Timer()


def interrupt_func(t):
    print('got here')


tim.init(freq=1, mode=Timer.PERIODIC, callback=interrupt_func)

What happens?

Nothing happens

What were you expecting to happen?

The timer should call the function interrupt_func once a second, printing "got here" to the vREPL.

Any other comments?

Which version of MicroPico are you using?

Latest (4.2.1)

Support info

Version: 1.96.0 (system setup)
Commit: 138f619c86f1199955d53b4166bef66ef252935c
Date: 2024-12-11T02:29:09.626Z
Electron: 32.2.6
ElectronBuildId: 10629634
Chromium: 128.0.6613.186
Node.js: 20.18.1
V8: 12.8.374.38-electron.0
OS: Windows_NT x64 10.0.26100