device/lib/printf_tiny.c: fixed bug #1465675 (%x format specifier)