olimexino_stm32 was not getting the flash base address from the Kconfig variable. Since the board uses DTS that will get set, so we can use the standard openocd.board.cmake. Signed-off-by: Kumar Gala <kumar.gala@linaro.org>