Fixed a printing bug in the kernel_sanity tests
Authored by: funkenstein.sw@gmail.com 2013-06-01
Parent: [r40]
Child: [r42]
