Fixed HAL link in README