This repo is now obsolete and no longer being updated. It has been replaced by the fork at https://github.com/raspberrypi/rpi-firmware.