pmap_quick_remove_page(9freebsd) on Linux

The text c26f445f09e9, as Debian 10 (Buster) shipped it.

manage fast, single-page kernel address space mappings

pmap_quick_remove_page(9freebsd) on Linux now