What about the bootloader?

Bootloader's are provided by atmel, and seems Arduino hasn't replaced them.
Weather or not you can get only a binary file or the full source is a guess.

The bootloaders have a usb option too, custom boards / field updates may be easier.