One data point:

```text
james@magician ➜  rp2040-eusb git:(james/rp2040-eusb) cargo size --release --target thumbv6m-none-eabi
    Finished `release` profile [optimized + debuginfo] target(s) in 0.09s
   text	   data	    bss	    dec	    hex	filename
  47224	      0	   9708	  56932	   de64	rp2040-eusb
james@magician ➜  rp2040-eusb git:(james/rp2040-eusb) cargo size --release --target thumbv7em-none-eabi
    Finished `release` profile [optimized + debuginfo] target(s) in 0.09s
   text	   data	    bss	    dec	    hex	filename
  46116	      0	   9708	  55824	   da10	rp2040-eusb
```