kernel - use matching type for res; this fixes x86_64 build
[dragonfly.git] / sys / cpu /
drwxr-xr-x   ..
drwxr-xr-x - i386
drwxr-xr-x - x86_64