smps, powerled examples: fix floating point format in printf Approved-by: Gregory Nutt <gnutt@nuttx.org>