Hi Edgar,
A perhaps naive question: does Satellite use a RT operating system? If not, does it in theory make sense to use a Raspbian image, which would mean universal compatibility across all RPi boards for a single image, while the trade-off being you won't be able to make use of the latest-and-greatest hardware features? (Currently Raspbian is 32-bit, and will likely remain so for the foreseeable future) You would still gain the raw clock improvements of the newer CPUs, which probably constitute the more significant gains anyway. Of course, I ask from a purely theoretical perspective - there are probably other good reasons against moving away from the existing Ubuntu based system. Also, are there specific hardware-based optimizations in the existing images that would grossly offset the convenience of such a universal image?
Aside, given the limited amount of memory on the RPi, 64-bit is probably not a huge benefit anyway expect in the few cases that can take advantage of it?
This is more of some thoughts and trying to understand better the nature of the situation rather than a specific request. Thanks for bearing with me. :)
Johnty