bnoordhuis, you should consider the Mountain Lion kernel (releated to the bug)