[asveikau]

Editing page mappings is also expensive. I think regardless of the mechanism by which the kernel hands out pages, you will pay that cost.