File:Instrumented printk.patch

Patch for printk-times for 2.4.20 kernel (for i386 architecture)