x86: remove set_kernel_exec()