Review console subsystem and configuration parameters

[forGGe]

There are few issues exists:

• ambiguous configuration name for stm32f4xx platform: CONFIG_CONSOLE_DEVICE_NUM
• conversion algorithms are hard-coded in console streams (see istream.hpp) and cannot be reused within debug assertions.
• bypass driver lacks puts()-like routines

More likely exist. These should be fixed.