[rwth-security] Speeding up Linux disk encryption