It seems a 64-bit OS is required for the Docker image, which gives me an excuse to upgrade my Pi model B to version 4.