Re: [bug report] coresight: etm4x: Change etm4_platform_driver driver for MMIO devices