# CONFIG_ULTRIX_PARTITION is not set