automate rebooting of machines with encrypted file-systems