# CONFIG_SERIAL_IFX6X60 is not set