source.denx.de is slow - we are working on it. Due to high traffic, most likely by bots, our server suffers from high load. We are taking measures to restrict traffic caused by bots. Sorry for the inconvenience.
Linux 5.15.40-rt4