Add MICROPY_HW_MICRO_NAME to boards config
Merge pull request #703 from iabdalkader/micro_names

Add MICROPY_HW_MICRO_NAME to boards config