# CONFIG_SERIAL_RP2 is not set