# CONFIG_SGI_PARTITION is not set