Porting the kernel to happy gecko

Cosmin Mihai

In order to make the microkernel work on Happy Gecko do I have to replicate the zephyr/ext/hal/silabs/gecko/Device/SiliconLabs/EFM32WG folder to zephyr/ext/hal/silabs/gecko/Device/SiliconLabs/EFM32HG and configure every define in every .h file? It looks like a lot of configuration to do and it looks like It is hard to debug in case of a mistake.