Doorbells (msgsnd) are faster than PIC-managed IPIs. They're supported
by Book-E from PowerISA 2.06, and Book-S from PowerISA 2.07.
When IFuncs are available, we can migrate from one dispatch function
handling both cases, to two distinct dispatch functions.