Apple's interrupt controller needs to know the MPIDR of the CPU you want to send an ICI to Change-Id: I81d1c25d5977140aaa4349fa83b7235e6a6a6964 Reviewed-on: https://review.haiku-os.org/c/haiku/+/11124 Reviewed-by: waddlesplash <[email protected]> Tested-by: Commit checker robot <[email protected]>