[RFC PATCH 0/3] Checkpoint Support for Syscall User Dispatch