Dual boot windows 10 and linux on same hard drive