How to dual-boot Linux Mint 13 Cinnamon/MATE and Windows 7