Added extracted kernel source