you can download a boot disk from here, but remember if he uses the fdisk option he will need to do a format and fresh install anyway.
P.S. You will get a lot more help by moving this posting to the helproom.
Xiaomi Mi Mix 2 review
Halloween Photoshop & Illustrator tutorials: 20 step-by-step guides to creating spook-tacular…
iPhone X news: Release date, price, new features & specs
Comment créer, modifier et réinitialiser un compte Apple ?