raspberrypi/firmware — pull request #23 by wjt (2012-05-23 14:43:54+00:00)
Title: Remove unnecessary executable bits.

Headers, source files, documentation, and sample videos don't need to be
executable. And since the contents of `boot/` end up on a FAT partition, I
presume their `+x` bits don't matter. :)