hal: Fix build with debug enabled

Change-Id: I8bf3ccfa9dc41e51f64aa0bb58488a548da71769
2 files changed