[PATCH v4.1] x86/sev: Fix making shared pages private during kdump