# CONFIG_AGP is not set