Fix some entries:
 - Desc 0x55 and 0xb1 are Instruction TLB but not fixed to 4K.
 - Desc 0x5a and 0xc0 are Data TLB but not fixed to 4K.
 - Desc 0x57 and 0x59 are 4K fixed DTLB.
 - Fix string of desc 0xc2 and it's not fixed to 4K.
 - Desc 0xca is 4K fixed L2 shared TLB.
 - Add desc 0xa0.

BUG: A lot of CPUs have multiple CAI_DTLB and/or CAI_DTLB2 entries. Currently
TLB info is indexed in ci_cinfo[CAI_COUNT], so some info is overwritten.

Nowadays CPUs have very complexed TLBs. It's hard to manage with CAI_* index.
We should think to separate TLB info structure from ci_cinfo[CAI_COUNT]
in struct cpu_info.
Add some Intel X38 devices.
Regen.
Add some notes on using these shims to port Linux kernel code.
Fix pktq_enqueue for rump

Add _RUMP_NATIVE_ABI to the macro condition for i386 and x86_64 because
_RUMPKERNEL is not defined for them. See sys/rump/Makefile.rump.

Found by ATF