fix warnings found in stm32f334-disco/buckboost configuration Approved-by: Gregory Nutt <gnutt@nuttx.org>