debugging: make stacktrace independent from DEBUG_KERNEL