Two fixes:
1) Revert changes in kern_intr.c related to trapframe passing. Instead,
   fetch correct trapframe in intrng code.
2) Modify arm_describe_irq() so it will work even if it's used before
   referenced interrupt controler device was attached (it will print
   FDT name instead newbus name).