Actually the RB firmware (stored in non-volatile memory) is the bootloader, which hasn't been updated for a long time. The rest of the RB OS is loaded from disk at boot time.
Do I get a star for this?
I'll second Albino's comment - I actually can't imagine buying an MP3 player that's not RB-capable.