Update kernel_types.h