# CONFIG_RPMSG is not set
