Merge "clean kernel headers" into jb-mr1-dev
authorGreg Hackmann <ghackmann@google.com>
Thu, 27 Sep 2012 00:30:02 +0000 (17:30 -0700)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Thu, 27 Sep 2012 00:30:03 +0000 (17:30 -0700)

Trivial merge