x86-32, mm: The WP test should be done on a kernel page