2ab888f17b
- Set the type and trapframe number for the F00F workaround since type can be used later by sv_transtrap(). Debuggers might also want to look at the type in the trapframe. Submitted by: bde (mostly)