I'm making a custom BSP for the MK10DN512VLL10, and running into problems with ethernet and USB from the K60. Namely, it's complaining about ethernet definitions that don't exist in the K10. I found another thread on here about the MK10, and the example showed using the BSP for the MK20 as a starting point. Which BSP do I start with then? The K60 or K20? The BSP porting guide calls out using the twrk60D100m as the starting BSP for this part.