In the Bios there is just the standard HDD,USB,CD/DVD and network boot options.
Do you mean run the auto repair from the USB boot device I created?