hal: Fix mismerge

 * Should not have been removed.

Change-Id: Icfd71d7621e99d0a164054b3dceff208f80cd28f