kernel/process: Make process_id a 64-bit value

In the actual kernel, this is a 64-bit value, so we shouldn't be using a
32-bit type to handle it.