Increase PORT_INT_REQUIRED_STACK.

Increase per-thread stack overhead for interrupts servicing to make
sure there is enough stack even with -O0 optimisations.