[PATCH v2 0/4 gnumach] SMP on AMD

[Damien Zammit]

Hi,

Here are the changes from previous review.

I did not make changes to ensure pit fallback because
the pit one-shot code is broken; there is no point
making it fall back to a delay that does not work.
I tried fixing the pit code, but it resulted in strange behaviour.

We can assume every x86 ACPI platform has a HPET for now.

Damien