Use enssorcel kernel