kernel/ddb - Add 'show tokens' function.