Dual booting Linux Mint 7 (xfce) and arch [2009.02] (fluxbox)