kernel: conditional build of KDB