Linux kernel for Samsung YP-G70 (Galaxy Player 5.0) and maybe YP-G1