Add page_alloc/free syscalls