re-name kernel to JDAG Kernel