drivers: firmware: psci: Use __pa_symbol for kernel symbol