coreboot

I have just tried building coreboot-sdk from scratch and could not get past the step of installing the required packages. Found out that diffutils dependency on libcurl4t64 break libcurl4 (change apt-get to apt to see verbose information message like below):

 > [coreboot-sdk 2/4] RUN       useradd -p locked -m coreboot &&        apt-get -qq update &&   apt -qqy install --no-install-recommends                bash-completion                 bc              bison           bsdextrautils           bzip2           ca-certificates                 ccache          cmake           cscope          curl            device-tree-compiler            dh-autoreconf           diffutils               exuberant-ctags                 flex          g++              gawk            gcc             git             gnat-13                 golang          graphicsmagick-imagemagick-compat               graphviz                lcov            less            libcapture-tiny-perl            libcrypto++-dev                 libcurl4                libcurl4-openssl-dev            libdatetime-perl                libelf-dev              libfreetype-dev                 libftdi1-dev            libglib2.0-dev          libgmp-dev    libgpiod-dev             libjaylink-dev          liblzma-dev             libnss3-dev             libncurses-dev          libpci-dev              libreadline-dev                 libssl-dev              libtimedate-perl                libusb-1.0-0-dev                libxml2-dev             libyaml-dev             m4              make            meson           msitools                neovim          ninja-build             openssh-client          openssl                 parted patch           pbzip2          pkg-config              python3                 python-is-python3               qemu-system-arm                 qemu-system-misc                qemu-system-ppc                 qemu-system-x86                 rsync           sharutils               shellcheck              unifont                 unzip           uuid-dev                vim-common              wget            xz-utils                zlib1g-dev      && apt-get clean:              
2.106                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          
2.106 WARNING: apt does not have a stable CLI interface. Use with caution in scripts.
2.106 
2.841 diffutils is already the newest version (1:3.10-1).
2.841 diffutils set to manually installed.
2.841 Some packages could not be installed. This may mean that you have
2.841 requested an impossible situation or if you are using the unstable
2.841 distribution that some required packages have not yet been created
2.841 or been moved out of Incoming.
2.841 The following information may help to resolve the situation:
2.841 
2.841 Unsatisfied dependencies:
3.001  libcurl4t64 : Breaks: libcurl4 (< 8.7.1-3)
3.004 Error: Unable to correct problems, you have held broken packages.

Changing libcurl4 to libcurl4t64 allows the docker to continue the build process of coreboot-sdk. But is this the right thing to do?