u32 should be used instead of uint32_t
Signed-off-by: NAlexandre Belloni <alexandre.belloni@free-electrons.com>