[PATCH -tip] kmemcheck: use set_memory_4k() on x86_64 only

From: Vegard Nossum
Date: Sun Oct 05 2008 - 13:22:37 EST