[PATCH v3 0/4 gnumach] SMP on AMD

[Damien Zammit]

Hi,

I addressed all the points in review 2.
Here is version 3.

It still boots!

Thanks,
Damien