K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-02-25T22:13:43.514667Z
K 7
svn:log
V 159
Fix a mistake that crept in when moving between git and svn, pic_ipi_send
should not be called from platform_mp_init_secondary.

Sponsored by:	ABT Systems Ltd

END