Removed junk x86/x86defs.h (#36)