Opensource kernel with latest linux upstream for Samsung Manta aka Nexus 10