diff -Naurp cctools-921.orig/include/mach/i386/thread_status.h cctools-921/include/mach/i386/thread_status.h
--- include/mach/i386/thread_status.h	2018-10-04 15:13:10.000000000 -0700
+++ include/mach/i386/thread_status.h	2018-11-07 14:22:53.000000000 -0800
@@ -115,9 +115,6 @@
 #define x86_AVX_STATE32			16
 #define x86_AVX_STATE64			(x86_AVX_STATE32 + 1)
 #define x86_AVX_STATE			(x86_AVX_STATE32 + 2)
-#define x86_AVX512_STATE32		19
-#define x86_AVX512_STATE64		(x86_AVX512_STATE32 + 1)
-#define x86_AVX512_STATE		(x86_AVX512_STATE32 + 2)
 
 
 /*
@@ -148,9 +145,6 @@
 	  (x == x86_AVX_STATE32)	|| \
 	  (x == x86_AVX_STATE64)	|| \
 	  (x == x86_AVX_STATE)		|| \
-	  (x == x86_AVX512_STATE32)	|| \
-	  (x == x86_AVX512_STATE64)	|| \
-	  (x == x86_AVX512_STATE)	|| \
 	  (x == THREAD_STATE_NONE))
 
 struct x86_state_hdr {
@@ -194,10 +188,6 @@ typedef _STRUCT_X86_AVX_STATE32 x86_avx_
 #define x86_AVX_STATE32_COUNT ((mach_msg_type_number_t) \
 		(sizeof(x86_avx_state32_t)/sizeof(unsigned int)))
 
-typedef _STRUCT_X86_AVX512_STATE32 x86_avx512_state32_t;
-#define x86_AVX512_STATE32_COUNT ((mach_msg_type_number_t) \
-		(sizeof(x86_avx512_state32_t)/sizeof(unsigned int)))
-
 /*
  * to be deprecated in the future
  */
@@ -229,10 +219,6 @@ typedef _STRUCT_X86_AVX_STATE64 x86_avx_
 #define x86_AVX_STATE64_COUNT ((mach_msg_type_number_t) \
 		(sizeof(x86_avx_state64_t)/sizeof(unsigned int)))
 
-typedef _STRUCT_X86_AVX512_STATE64 x86_avx512_state64_t;
-#define x86_AVX512_STATE64_COUNT ((mach_msg_type_number_t) \
-		(sizeof(x86_avx512_state64_t)/sizeof(unsigned int)))
-
 typedef _STRUCT_X86_EXCEPTION_STATE64 x86_exception_state64_t;
 #define x86_EXCEPTION_STATE64_COUNT	((mach_msg_type_number_t) \
     ( sizeof (x86_exception_state64_t) / sizeof (int) ))
@@ -288,14 +274,6 @@ struct x86_avx_state {
 	} ufs;
 };
 
-struct x86_avx512_state {
-	x86_state_hdr_t			ash;
-	union {
-		x86_avx512_state32_t	as32;
-		x86_avx512_state64_t	as64;
-	} ufs;
-};
-
 typedef struct x86_thread_state x86_thread_state_t;
 #define x86_THREAD_STATE_COUNT	((mach_msg_type_number_t) \
 		( sizeof (x86_thread_state_t) / sizeof (int) ))
@@ -316,10 +294,6 @@ typedef struct x86_avx_state x86_avx_sta
 #define x86_AVX_STATE_COUNT ((mach_msg_type_number_t) \
 		(sizeof(x86_avx_state_t)/sizeof(unsigned int)))
 
-typedef struct x86_avx512_state x86_avx512_state_t;
-#define x86_AVX512_STATE_COUNT ((mach_msg_type_number_t) \
-		(sizeof(x86_avx512_state_t)/sizeof(unsigned int)))
-
 /*
  * Machine-independent way for servers and Mach's exception mechanism to
  * choose the most efficient state flavor for exception RPC's: