Update kernel64.c