K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2010-10-17T14:25:01.162871Z
K 7
svn:log
V 202
MFC: r213868

- In the spirit of r212559 add a comment describing what will eventually
  lower the PIL.
- Just as with the AP ensure that the (S)TICK timer(s) are in a known
  state when starting BSPs.

END