WFLY-4157: Updat to HAL 2.5.1