K 10
svn:author
V 3
mjg
K 8
svn:date
V 27
2020-01-19T21:35:51.843059Z
K 7
svn:log
V 205
x86: fix assertion in ipi_send_cpu to range check the passed id

Prior to the change for sufficiently bad id (and in particular NOCPU which is -1)
it would access memory outside of the cpu_apic_ids array.

END