Bubfix in kmalloc(): used->next is undefined