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