(TXT) 009_i386pmap.patch
 (TXT) 010_i386machdep.patch