# CONFIG_SGI_XP is not set
