Added licensing info to HAL headers