[PATCH 0/5 gnumach] More smp progress

[Damien Zammit]

This adds a few more things we need for smp.
Per-cpu curr_ipl[] for example.
With these changes compiled for smp and apic,
the kernel fails to boot with -smp {2,4,6,8}
due to the first task getting lost somewhere.

If you boot with $(prompt-task-resume) in grub,
it enters the debugger just before loading the boot task,
but when you continue, it prints "start acpi: " and then sits idle.

I think something could be wrong with the idle threads.

Damien