Disk encryption during operating system installation