[PATCH] x86-64: do not use virt_to_page on kernel data address