Merge "Fix the path to IR HAL" into main