fix the kernel prefix letters in some kernel header files.