no need to use kore_log() in a debug context