Broken Kernel for Hammerhead