Add hammerhead kernel repo

Use a kernel with kexec patch