Thank you. Do you have any clue how to reflash a RK1 from the BMC? Or is it only possible over USB?