fix test and use page-types.c in kernel source tree