x17 kernels are well-optimized by alexis and previous contributors including you. x16r new 80-bit kernels are SLOWWWWW and need to be rewritten. I think krnlx or palgin could do that but not you ))