just removed the calling of reset_local from the kernel launcher