Tried it and it worked without problems.
There are no problems with the dyld this time.
pbs have only to be patched in 32 bit mode, or?

Thank you for your great and hard work.
This kernel is really amazing.