Organizing kernel messages

I wonder if, instead of "(%08x):", the hash should be printed with a prefix like "(km%08x):". A unique letter-prefixed string like km01234567 would be much easier to find in a Google search.