Short answer, not that I have seen. You could always build/package the .deb's yourself and provide them to the community, otherwise it's time the devs probably don't have for a niche use case.
You can always run another machine or traditional VM for docker (or kubernetes). Otherwise, building from scratch seems your best option.
Also, docker (or in my case kubernetes) runs just fine on a Raspberry PI (using a Pi 4 4GB). In my experience most of the overhead comes in the form of storage, since different images require difference base images which start to add up. Otherwise I haven't noticed any noticeable overhead (except with my Ceph Rook setup).