* For some reason, the OpenGL implementation on SPRD devices causes
crashes in system_server on glFinish() due to double-free of mutexes.
It is not the same case with the MTK skia compatibility bug, because
this one produces no GL errors, only the final mutex-related crash.
* This crash is only observed in system_server by far. In other
hardware-accelerated applications, after a lot of tinkering, I could
not reproduce the same problem. (Even if they somehow do crash, it
won't bring the entire system down like `system_server`.)
* Since all SPRD devices do not have "high-end gfx", it is reasonable
to set this `ro.config.avoid_gfx_accel` flag. This will disable the
use of hardware gfx in system_server, avoiding the crash. Most SPRD
devices comes with Android Go by default, which has this flag set
(implied by `ro.config.low_ram`) anyway.
* All devices having the `sprd-adf` module is an SPRD device launched
with Android 9 or earlier. ADF is deprecated in Android 10 or higher.