Add kernel_exit.S