kernel source for hammerhead