K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2015-09-13T00:08:04.117495Z
K 7
svn:log
V 207
Merge r286374 from x86:

Formally pair store_rel(&smp_started) with load_acq(&smp_started).
Similarly to x86, this change is mostly a NOP due to the kernel
being run in total store order.

MFC after:	1 week

END