device-samsung-manta: switch to mainline kernel

Bring mainline kernel support to Samsung Manta (Google Nexus 10). System is usable and stable.

Working:

• USB (host/gadget/OTG)
• Touchscreen
• Display
• Battery (could be improved, though)
• Buttons (userspace configuration needed)
• Bluetooth
• HDMI
• WiFi

Not working / not tested:

• Sound
• Sensors
• NFC
• Dock connector
• GPS
• Front camera
• Back camera
• GPU acceleration (Mali)
• GPU acceleration (g2d)