tdx-host: fix build

BUG=None
TEST=presubmit
RELEASE_NOTE=None

Change-Id: I7d8d6bce31d0592b61318deb8c2d4654c17abb2b
Reviewed-on: https://cos-review.googlesource.com/c/third_party/kernel/+/172466
Tested-by: Cusky Presubmit Bot <presubmit@cos-infra-prod.iam.gserviceaccount.com>
Reviewed-by: He Gao <hegao@google.com>
Reviewed-by: Dom Huh <domhuh@google.com>