Fix board-specific HAL module naming

Change-Id: I1c1a745c9a7ad70d288b0b3a89e01bf58c0c9ac2