If you want to run 64-bit docker containers, and don’t understand why the official addon is a 32-bit daemon even though the kernel is 64bit, even though that has absolutely nothing to do with the 32-bit kodi userspace (that was the dumb excuse I read in the forum when someone asked), you can easily do it!
I tried to do it manually, but the idiot docker developers hardcoded the /etc/docker directory, so it has to be patched. Someone already did the hard work.
Here it is: