Dual boot linux mint and windows 10