Merge branches 'doc.2013.11.08a', 'fixes.2013.11.11a', 'rcutorture.2013.11.08a' and 'sparse.2013.11.11b' into HEAD

doc.2013.11.08a: Topic branch for documentation changes.
fixes.2013.11.11a: Topic branch for miscellaneous fixes.
rcutorture.2013.11.08a: Topic branch for new rcutorture/KVM scripting.
sparse.2013.11.11b: Topic branch for sparse-RCU changes.