Not all arm64 SoCs use psci for reset, and it's not architecturally
required. Since cpu_reset is (currently?) the only thing that depends
on platform-specific behavior, add a hook to be set by an appropriate
handler.

Currently this is only psci, and is set blindly, the idea being that a
platform will either have psci or something else, not both.