[PATCH] x86-64: setup saved_max_pfn correctly (kdump)