[PATCH] makedumpfile: arm64: support flipped VA and 52-bit kernel VA