# CONFIG_X86_GOLDFISH is not set