Disable DEBUG_KERNEL