clock: Piggyback passive IPIQ processing
Passive IPIs will be flushed by the target CPU at clock interrupt.
But we _never_ completely conform to the passive IPI description.
Before we implemented LAPIC interrupt timer, systimers on non-CPU0
were actually IPIQ processing, which processed the passive IPIs;
however, passive IPIQ processing on CPU0 didn't conform to the passive
IPIs description.
After the introduction of LAPIC interrupt timer, none of the systimers
were related to IPIQ processing, thus passive IPIQ processing no longer
conformed to the passive IPI description at all.
As of this commit we piggyback passive IPIQ processing in doreti after
hardclock(), which matches the passive IPI description.
* NOTE:
- We don't piggypack passive IPIQ processing directly in hardclock() to
avoid introducing extra jitters to system time.
- We choose not to check passive IPIQ in systimer_intr(), since systimer
rate could be pretty high, e.g. rate set by polling(4).
With-feedback-from: dillon@