pmap_quick_remove_page(9freebsd) on Linux

The text fee99a4c3d46, as Debian 9 (Stretch) shipped it.

manage fast, single-page kernel address space mappings

pmap_quick_remove_page(9freebsd) on Linux now