Does KDB conflict with CONFIG_KERNEL_THUMB2?