ia32: Move as much of the interrupt and syscall traps into C as possible
trivial: style
arm: FSR is 14 bits in newer arm versions, not 12