base: provide Thread_base::stack_size(size_t)

The new method enhances the stack of the targeted thread if it is smaller
than a given size.

ref #1075
noux: enhance stack of all noux programs

This is done because we ran into a stack overflow while compiling
Genodes core/main.cc with GCC in Noux.

fix #1075
hw: comment conditions of interprocessor interrupt

ref #1088