(__getpagesize): Use INTERNAL_SYSCALL instead of __syscall_getpagesize.