Sorry for being late, but I have recently tried to flash the version as per the instructions suggested in post. The device stuck on default boot logo with no initiation of e os logo booting. Device was on latest stock firmware c57 Android 10, config 2+16. Created this account just to let you know.
Btw, here are some recent tree and kernel repos from rmx1941 I found, take a look. Maybe Android version can be bumped: nathannxx / Repositories · GitHub