smp-core-2023-04-27

 - Remove diagnostics and adjust config for CSD lock diagnostics

 - Add a generic IPI-sending tracepoint, as currently there's no easy
   way to instrument IPI origins: it's arch dependent and for some
   major architectures it's not even consistently available.

Signed-off-by: Ingo Molnar <mingo@kernel.org>