debian/patches: 800, 801

[Nathanael Nerode]

800_gnu_config
--------------
Merged and enlarged, under same name

801_gnu_os-support_Imake
------------------------
Unchanged.

-- 
Nathanael Nerode  <neroden at gcc.gnu.org>
http://home.twcny.rr.com/nerode/neroden/fdl.html