cmd_bdinfo: check for CONFIG_ARC instead of CONFIG_ARC700