WFLY-4157: Update to HAL 2.5.1