x86, 64-bit: add prototype for x86_64_start_kernel()