printk() indexing

Yabbut, non-developers don't have a symbol server. They get incomprehensible hexadecimal garbage in the logs, rather than a message they could possibly (if technically inclined but not Windows developers) use to fix the actual problem. Not a very good look.