static ICR_HIGH_SHADOW: [AtomicU32; 32]
Per-CPU shadow of xAPIC-compatible ICR high writes (destination field).