20160825 tech.mobiles: Xiaomi Redmi Note 4 with deca-core CPU; Android Marshmallow launched in China