install_page() needs to run flush_cache_page() prior to overwriting an already-established pte.
Attach a file by drag & drop or click to upload