Add mango device, and small changes to coconut
Merge commit '48169ba' into jb-4.2