FIX: va_list workaround added

 - when 8 bit data passed va_list fails. This is due to an alignement
   problem, probably in link script. The memory is 4 byte aligned and some
   times the 8-byte data is not aligned whell.
 - We still have to use the %f with double as the only one argument in the
   printf() family functions because the va_list will probably fail with
   the arguments after the %f.
FIX/tui: The printf() calls with float after the 8baa0b3
FIX/_vsxprintf: Frame and string termination.