[kbuild-all] [intel-tdx:guest 2/4] arch/x86/kernel/tdx-tests.c:85: Error: bad register name `%rax'