Remove 'device firmware' from various manpages because it is not optional.