Double the kernel thread stack size to 16K.

This change doubles the size of the kernel thread stack by using two
wired TLB entries instead of just one. This is a workaround for the
small kernel thread stack until the page size can be increased to 16K.