OMAP3 Android-Linux kernel 3.0.8 for the Samsung Galaxy Player 3.6 EU/US