validity kernel pagefault bug fixed