Added PowerHAL and set TARGET_BOARD_PLATFORM properly so that the correct filenames for hardware libraries are searched.