[tip:x86/urgent] x86/mm/KASLR: Compute the size of the vmemmap section properly