Comment 12 for bug 1020285

Debbugs #679882 pulls together a list of various leap-second-related kernel patches:
  http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=679882