am 94824201: Merge "PandaBoard prebuilt kernel"

* commit '948242016fea7d22d3ff3d115fff193d9ddc803a':
  PandaBoard prebuilt kernel