I tried this kernel too and almost everything is working. Finder works but cinebench in 32 bit mode crashes!!!

Does anybody else have this problem?