P.s. I’m not 100% sure the update was completely stuck or just very slow: I’ve noticed that “tail -f” does not seem to work correctly in the pre-boot shell, it is possible it was still going on.
Even in the best case, the script waits 5 times a very long timeout for each of the many different fonts it tries to download