> I already committed this change.

Unfortunately, that change by itself causes every deactivated page to
go through pmap_clear_reference() twice -- and it's already an
expensive operation.  That's... suboptimal.