Change Details

This issue was found while trying to use ktrdump, which was failing to fetch values from /dev/kmem. With this change, it works properly.