# CONFIG_ZONE_DEVICE is not set