This is separate code (a fork of the Little Kernel project) that runs on the VPU and loads later stages of the boot process, including initialising the ARM core and running the Linux kernel on it.

https://github.com/librerpi/lk-overlay

Edit: The rpi-firmware repo has been replaced by the lk-overlay repo, which is much more flexible.