We handle certain types of exceptions on a dedicated per-CPU stack.
Currently the sizes of these stacks are all hard-coded to PAGE_SIZE, but
for at least NMI handling it can be useful to configure larger stacks.
Add constants to intr_machdep.h to make this easier to tweak, since
exception stacks are allocated both in .bss and during AP startup.
No functional change intended.