I have an unused 32F769I-DISCO board which I think needs firmware programming - it sits with a flashing red LED when power is applied. The only support I can find is for the 32F769NI-DISCO board which is slightly different and the "Getting started" v...