Change how encryption is handled.
Change how encryption is handled.

This commit changes the spec to do whole-disk encryption rather than
semantic encryption.

- Add support for hash-based MAC/password fingerprint.
- Switch to SPECK cipher.

ticki/tfs,redox-os/tfs