Statistics for Tags: Augmenting Microkernel Messages with Lightweight Metadata