[PATCH v4 0/3 gnumach] SMP on AMD and qemu

[Damien Zammit via Bug reports for the GNU Hurd]

Hi,

I addressed the comments in v3.  This is v4.
I was unable to locate documentation for correct STARTUP IPI mode,
but I tested this series on both AMD fam15h and qemu and it boots.

Damien