added some lost kernel header files