X240sにMint Linux 17(KDE)をdual boot