When building Genode/NOVA with -O0, the page fault handler thread could run out of stack. Fixes #977.