hal: Fix mismerge

 * Should not have been removed.

Change-Id: Icfd71d7621e99d0a164054b3dceff208f80cd28f
Merge remote-tracking branch 'cm/cm-11.0' into HEAD