hexagon: kernel_thread()/kernel_execve() conversion