Are these two lists intended to be disjoint? Is it a bug that IA32_ARCH_CAPABILITIES appears in both?