k_cycle_get_32() returns an unsigned 32-bit integer, while the '%d' specifier denotes a signed integer. Using the proper C99 format specifier resolves the problem. Signed-off-by: Reto Schneider <code@reto-schneider.ch>