TDX_IMAGE_HEADER_SIZE
static_assert(TDX_IMAGE_HEADER_SIZE == 4096);
u8 *header_end = header_start + TDX_IMAGE_HEADER_SIZE;
if (TDX_IMAGE_HEADER_SIZE + sigstruct_len + module_len != image_len)
if (data_len < TDX_IMAGE_HEADER_SIZE)