We may wish to override the device used to handle a specific IPI, e.g.
SDEI on arm64 could be used as a non-maskable interrupt to handle
IPI_STOP_HARD.
Support this by adding a KPI to set a per-IPI device. Use the priority
to decide if the per-IPI or global device is selected for each IPI.
Sponsored by: Arm Ltd