# CONFIG_UIO is not set