Fix incorrect write in tdx.s of stage0_bin_tdx.

AP_IN_64BIT_COUNT is a u32 variable. When increasing using `incq`, it has a 4 bytes oob write and result in UB.

Change-Id: I9e140452f9fffd1891b880d9fd46d7a0d8058118

stage0_bin_tdx/src/asm/tdx.s

@@ -131,7 +131,7 @@ _tdx_64bit_start:
 
 _park_ap_64bit:
     leaq (AP_IN_64BIT_COUNT), %rcx       # Load address of AP_IN_64BIT_COUNT onto rcx
-    lock incq (%rcx)                     # Atomically increment AP_IN_64BIT_COUNT
+    lock incl (%rcx)                     # Atomically increment AP_IN_64BIT_COUNT
 
     movl %esi, %ebp                      # esi has the VCPU_INDEX, save it in ebp