kernel/baseconfig/CONFIG_SGI_PARTITION