Aries android kernel with Galaxy Player 5.0 additions