Booting the Raspberry Pi

Is it just me, or did the author forget to copy the initialized data into the .data section? He did remember to zero the .bss