Google/Samsung crespo kernel converted to work with venturi (Galaxy Player 5.0)