this is 75c216582 for the efm32 branch, see there for details
75c216582
better fixes would be adding them to the generic (included) Makefile or building the really device independent stuff in a _generic library