# CONFIG_DEVPORT is not set