x86: use __PAGE_KERNEL* instead of _KERNPG_TABLE