CHECK: Prefer kernel type 'u32' over 'uint32_t'