[kernel]: fix incorrect %hh format output for values in [0x80, 0xff]

[kernel]: fix incorrect %hh format output for values in [0x80, 0xff] #3895