Has anyone set up a usb external boot disk ? What o/s did you use?