Since this isn't a Beowulf package, I'm probably better off just
fetching the latest firmware from Raspberry Pi's github repo, or cross
compile my own from linux stable, since I seem to recall that the
Raspberry Pi code made it into the main kernel.org source tree a while
ago. Thanks to everyone for your help.