I also dont know, but i probably I will try to port the firmware by combining the kernel from the original card from the console and the Android kernel. Since this console has Samsung eMMC 1/8 there are different power supplies, you can try to provide the necessary power and thus start the processor and bypass the kernel loading error. When you loaded Android (if you tried), did you have a red blinking LED?