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
