Samsung-OMAP3 Android-Linux kernel 2.6.35.7 for the Samsung Galaxy Player 4.2 US