[bitfolk] Notes on full disk encryption