zephyr: Use board/SoC values for startup banner based on Zephyr config.

This patch modifies the HW macro definition in order to let micropython
report correctly the BOARD and the SOC on which it is working on.