Disable compilation of HAL for now (as it breaks build, and as anyway we don't have a proper HAL ..)