Modified printf statement in kernel code
Authored by: guidrymw 2012-10-29
Parent: [r58]
Child: [r60]