Re: [PATCH v4] x86/mm/KASLR: Fix the size of vmemmap section