make /dev/kmem a config option