Currently the build builds everything and every platform gets access to all drivers. This is time consuming as we are compiling more code than we need for each platform. This can also lead to what should have been a linker error. If you attempt to use the lpc40 output pin instead of the stm32f103 output pin, your code should alert you and we will leverage linker errors for this purpose.
This is technical debt because this is a short cut over making a build that splits everything up.