[kbuild-all] [intel-tdx:guest 143/144] arch/x86/kernel/head_64.o: warning: objtool: verify_cpu()+0x4d: unreachable instruction