It gets moved to the player in a completely different manner to FIDs, it happens via the serial port while the player is booting (the same as with a kernel upgrade). The C source for this upload process is available here.
_________________________
Remind me to change my signature to something more interesting someday