KNF and misc cosmetics.

merge ktrace-lwp.

Add int2_wait_fifo(), which will idle while awaiting a flag in the interrupt
controller to deassert. Needed for the more interesting features of various
SGI framebuffers.