[Hexxeh] has been playing around with the Linux images for his Raspberry Pi, so he needs to reinstall the firmware on an image quite a lot. He wrote a tool to automate this task, but it should be useful for RasPi users that want to keep kernel and firmware up to date. You can get the rpi-updater at [Hexxeh]s GitHub.