I'm hoping it's a licnsed Basecam 32 bit SimpleBGC, for the same reasons as you.
Although I don't think DJI would need to re-invent the wheel ..... they very well may have.
Once mine gets here I'll look inside and see if there's any hints by board layout, chipset etc. and then based on that ..... maybe see what happens when connected via what appears to be it's usb port, to one of SimpleBGC 32 bit GUI's.