fix up tss_t
statically assert the size of tss_t
proper critical sections around page_alloc/page_free
add memset32 and strlcpy
actually design something resembling a memory map