kernel: elf_getfiles() fix compilation on 32 bit targets
kernel: Clear restored kqueue EV_SYSFLAGS
vkernel: Catch up with vkernel64 changes

There isn't much difference between vkernel and vkernel64 from the
checkpointing code point of view. All these changes are exactly the
same that were applied earlier to the vkernel64.
vkernel64: Remove superflous extern functon declaration