Flush the correct number pf PTEs from cache after mapping a big framebuffer.
Essential for 4K displays. Thanks to Bakul Shah for finding this.