Clean the bitrotting ofw code.  Don't export export the underlying irq
dispatch mechanism to the rest of the kernel; they don't need to know.
Nuke IRQSTATS entirely.

XXX ofwgencfg_clock needs to taught about timecounters
Fix more caddr_t -> void * lossage
make the dbri driver work again
while there enforce some alignment rules, adjust some timeouts, retry when
probing the codec fails
Remove macrobreaking whitespace.
trace_enter, trace_exit: acquire kernel_lock for systrace.
Cast to char*, not void* before doing pointer arithmetic.
Cast to char* to be able to do pointer arithmetic.
Cast to char* before doing pointer arithmetic.
Also put * close to variable name.
Change local variables kernend and v to char*, since they are used
for pointer arithmetic.
Cast to char* before doing pointer arithmetic.
Cast to char* and not void* when doing pointer arithmetic.
Add Multiboot support.  Doesn't hurt regular boots and is enabled in the
GENERIC kernels already.
Add FTDI "Serial 2232C" product ID
Regen for addition of FTDI "Serial 2232C".
Cast to char* before doing pointer arithmetic.
Match the FTDI "Serial 2232C" chip;  this allows a 16-port usb->serial
device from SerialGear I have to work.
add support for devctl properties
Cast to char* before doing pointer arithmetic.
Cast to char* before doing pointer arithmetic.
Allow to build without INET6

Submitted by: Jukka Salmi