Merge "New PandaBoard kernel"