Update to HAl-2.5.1
Update to HAL 2.5.1
Merge pull request #7018 from heiko-braun/WFLY-4157

WFLY-4157: Update to HAL 2.5.1