CHECK: Prefer kernel type 'u32' over 'uint32_t'
#42: FILE: include/sound/sof/dai-intel.h:165:
+	uint32_t wake_up_time;     /**< Time from clock start to data (us) */

CHECK: Prefer kernel type 'u32' over 'uint32_t'
#43: FILE: include/sound/sof/dai-intel.h:166:
+	uint32_t mode_change_time; /**< Time from clock change to data (us) */

CHECK: Prefer kernel type 'u32' over 'uint32_t'
#49: FILE: include/sound/sof/dai-intel.h:171:
+	uint32_t reserved[6];

total: 0 errors, 0 warnings, 3 checks, 27 lines checked

NOTE: For some of the reported defects, checkpatch may be able to
      mechanically convert to the typical style using --fix or --fix-inplace.

./linux-sof-driver/0001-ASoC-SOF-IPC-DMIC-Add-clock-start-and-clock-change-t.patch has style problems, please review.

NOTE: If any of the errors are false positives, please report
      them to the maintainer, see CHECKPATCH in MAINTAINERS.