Updates HAL.