[kern/kerx] Fix trace numbering
2 files changed