# CONFIG_GOLDFISH is not set