# CONFIG_GEF_SBC610 is not set