efm32: fix FTBFS on ARM due to alignment issues