Linux: use plain page_cache_alloc