Hello, As far as I understand, the CPU in the RPi4 is a *completely* different beast from the ones in the rest of the family. It seems it will not require a binary firmware loader anymore!
Right now, it is not *yet* bootable using the stock Linux kernel, but there are people working on its support. I have asked them to update this bug when our kernel can boot on RPi4.