kernel - Fix typo from b227f3f50d5dc0f when filling in kpmap header.
[dragonfly.git] / sys / platform /
drwxr-xr-x   ..
drwxr-xr-x - pc64
drwxr-xr-x - vkernel64