c5ca5a55a1
- 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)