jewel: use jewel kernel source for komodo kernel