Why Secure Boot Makes Disk Encryption Provisioning Harder Than It Looks