I feel embarrassed, but I guess I didn't look hard enough. This exact case already exists as a bug for debian-installer (severity: wishlist). http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=684968 Sorry about that. It doesn't look like anything will be done about this, since the debian-installer is simply responding to the kernel's request for firmware. I'll look more into this. -- Aubrey "There are two types of people in the world: those who can extrapolate from incomplete data."
Attachment:
signature.asc
Description: PGP signature