Re: reboot.c and X86-64 architectures