Changes: - Sync changes with upstream KVM-OpenCore (Nick) With these changes, Ventura can boot without AVX2!