I'm releasing a patch that will also patch the libSystem sysenter traps (pre-patched).
That should clear some of these issues...
I'll continue the work on the kernel