[kbuild-all] Re: [PATCH v4 4/4] kdb: Switch to use safer dbg_io_ops over console APIs