Free up the IPI slot used by IPI_STOP_HARD.

Change the numeric value of IPI_STOP_HARD so it doesn't occupy a valid IPI
slot. This can be done because IPI_STOP_HARD is actually delivered via NMI.

Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D1983