I wonder if they could have used something like petitboot? That way they don't depend on Pi4 firmware for netbooting. It does require a sd card, but it's read only and tiny.
There is also iPXE, where a solution would be to use a small ipxe iso/lkrn and combine it with a boot loader written to a sd and then bootstrap the system over the network from there.