Xml Device Files: device tag now has a mandatory core attribute
stm32f40.xml: core driver now resides in core/cortex