kernel build problems with KDB patch