ksm: rename kernel_pages_allocated