armv7-m: Return DeviceState* from armv7m_init()