Re: [PATCH 4.17 v2] x86/mm: Don't free P4D table when it is folded at runtime