These were only used as stacks of kernel threads, but they can just as well be allocated as full pages from Heap