fix linux check in config_arm & openocd install