[PATCH] x86/sev: Adjust the alignment of vaddr_end