# CONFIG_RPMSG_CHAR is not set