He don't need reprogrammer but to read how to perform correct flash procedure via flashback (could be found in main BIOS thread here).
Flash Back option needs a plain old USB stick that is 2.0 compliant; nothing more, nothing less. Not all controllers on USB 3.0 sticks function correctly with this feature.
...P.S. Can anyone check availability of voltage in BIOS flashback USB port in standby mode? It's pretty simple. Just need to turn off your PC and connect to flashback port any device (an iphone for example) and check will it be charging or not.