Use platform-specific firmware filenames when flashing with OpenOCD.