Re: [greybus-dev] [PATCH] staging: greybus: sdio: Prefer u32 over uint32_t