Fix parameter names in page_alloc.h
Make scheduler dynamically allocate stacks