Improving commentary on page table unmapping code in response to review.  See <https://info.ravenbrook.com/mail/2014/01/31/17-26-12/0/>.