20181217 gadgets-news: Android 9 Pie is coming to these OnePlus smartphones; here are the changes