pk: Fix pushing of argc to match linux kernel behaviour

The linux kernel pushes argc as an int, not an uintptr_t.
(The offset to the next element is still sizeof(uintptr_t).)