Samsung-OMAP3 Android-Linux kernel 2.6.35.7 for the Samsung Galaxy Player 3.6 EU