kernel/baseconfig/CONFIG_SERIAL_RP2