Why is kernel memory not pagable ?