They are in the pico BSP as they need the 'rt' feature. Also includes changes to the UART driver for enabling/disabling interrupts.