We could use the PA30 and PA31 pins as normal GPIO pins (and also SPI and I2C and so on) in CP3, however in CP4 they are always busy when we try to use them. It would be great if we could use them, even if that was optional only for some boards and disabled debugging entirely.