The asm stubs needed for allocpages.c to interface with the kernel
Request memory from the kernel
Return = Amount allocated
(none)