More context to my question here:
I’m guessing the X4 has the same capability to reset the RP2040 via X86 GPIO