CONFIG_ARCH_SUPPORTS_PAGE_TABLE_CHECK=y
