- free IRQ on thread exit
- handle unmapping of vcpus on devpass close
- skip filter if thread has exited
- unpin stack page and remove tl from thread list on thread exit
- provide option to set hz to zero if user doesn't want timer interrupts
- fix stack mapping to account for the fact that the stack grows down