Using stdint types instead of kernel types.