Hi, I'm looking to write firmware for a Badger 2040W, based on [this](https://github.com/rp-rs/rp-hal-boards/tree/main/boards/pimoroni_badger2040) example, but using the Embassy framework. I was just curious if the example needs adjusting (GPIO, RTC, or other variables) for the 2040W. Thanks.