Trim a few comments on platforms that did not implement mmap of /dev/kmem.

After r307332, no platforms implement mmap for /dev/kmem, so the lack of
it for these platforms is no longer unique.