In the kernel it is common to use u32 and not uint32_t.
Signed-off-by: NOded Gabbay <ogabbay@kernel.org>