embassy-rp: Setting state machine JMP pin does not work properly for pins > 31

On the RP235xB, setting a pin that exclusively exist in the upper range (GPIO 31-47) as JMP pin using set_jmp_pin doesn't work as expected. It seems like it sets JMP pin in set_config without shifting the pin number. I would expect it to do something similar to what it does for other pins.