Add hpm-hal to HAL list, support for HPMicro microcontrollers

[andelf]

Add hpm-hal to HAL list, support for HPMicro's 32-bit RISC-V microcontrollers.

Supported chips and peripherals are listed at https://github.com/hpmicro/hpm-hal.

An stm32-data clone for HPMicro chips is at https://github.com/hpmicro/hpm-data.

[lulf]

bender run