The recipe for gnumach header files. Mig  and gnumach kernel patches coming
as soon as possible.
In order to build it in a 64 bit machine you have to use
"--system=i686-linux"

It's my first patch ,so please don't yell at me if I did something wrong :-)

Cheers,

Manolis 'phant0mas' Ragkousis