CHECK: Prefer kernel type 'u8' over 'uint8_t'