always use 4K page direct mapping when CONFIG_KMEMCHECK opened