Add MICROPY_HW_MICRO_NAME to boards config

Add config option to set MCU name, instead of hard-coded "STM32F405RG"