KERNEL_PAGES define fixed