check_infiniband_device: add small improvements to the macro config See merge request rui.machado/gpi-2!85