I think he's underselling Qemu/KVM side of things, quick search shows that Tahoe works for instance. It was always a better route for this, going back to patching kexts isn't an improvement in my book. I'm sure near-native performance should be possible on ARM machines.