# CONFIG_UIO_PRUSS is not set