I would prefer to choose Ubuntu or any open source OS, but if you do the first step successfully, then 2,3,4 steps are correct.in Electrum import the private key with this command: p2pkh:<<private key1>>