arch, mm: make kernel_page_present() always available