[PATCH v3 0/4 gnumach] SMP now works on AMD processor

[Damien Zammit via Bug reports for the GNU Hurd]

Hi,

The first two patches are exactly v2, but I have added two more
that make SMP functional on my AMD fam15h processor.

Thanks,
Damien