K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2010-10-14T21:34:53.099934Z
K 7
svn:log
V 188
- 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