arm64: Use __pa_symbol for kernel symbols