Added hammerhead kernel source