[PATCH 0/4] gnumach smp preparation

[Damien Zammit]

This patch series has been tested on each commit to not break PIC version
without SMP, but refactors some of the SMP code to prepare for another
patch series that will add SMP support.

Damien