Fix karma (HAL API module dependency)