ARM64: kernel: dump kernel addresses larger than VA_START