tdx-host: fix build

BUG=None
TEST=presubmit
RELEASE_NOTE=None

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