Samsung-OMAP3 Linux-Android Kernel 2.6.35 for Samsung Galaxy Player 4.2 EU/US