Currently, "user-level" code has to deactivate the red zone support.
To avoid this, we create an interrupt stack table (IST1), which is
the default stack for all interrupts. Consequently, the common stack
isn't touch by handling any interrupt and the red-zone could be used
for compiler optimizations.
By using IST1, nested interrupts (beside NMI) arn't longer supported.
But HermitCores doesn't rely on this support.
HermitCore is a single-address space operating system => only one global
lock is required to protect the page tables and the VMA structure.
Furthermore, obsolete code to duplicate tasks is removed.