system_init() for efm32