Bugs in new kernels