xen/spinlock: Don't setup xen spinlock IPI kicker if disabled.