I forgot: The kernel also contains a firmware/ directory with many redistributable firmwares (mostly nonfree, but it may contain free ones too).