Hack to fix builds for non-efm32 boards.
See https://github.com/RIOT-OS/RIOT/pull/1855 for more information