x86_64_start_kernel
asmlinkage void __init __noreturn x86_64_start_kernel(char *real_mode);
NORETURN(x86_64_start_kernel)