small cleanup of x86 vm code (and removed page fault from exec.c)