[kbuild-all] [intel-tdx:tdx/guest-rebased 82/133] arch/x86/kernel/kvmclock.c: linux/cc_platform.h is included more than once.