# CONFIG_REMOTEPROC_CDEV is not set
