Fix index computation, do not read past end of array. For MULTIPROCESSOR, keep the XICU_NCPU first WTI for IPIs.