on 64-bit we only get valid max_pfn_mapped after init_memory_mapping().
Signed-off-by: NYinghai Lu <yhlu.kernel@gmail.com>
Signed-off-by: NIngo Molnar <mingo@elte.hu>