The default value is already set in openocd.inc.mk
Get FLASH_FILE from command line instead of environment variable. The documentation was claiming ELFFILE was given as a command line argument already, but is was not. This is the same change as with `openocd.sh`.
Add new RISC-V board HiFive1 from SiFive based on FE310 CPU