Fix board-specific HAL module naming

Change-Id: I3173018360c46cf8bc3791dbe7e43b649a704db0