kern/linux/linux_system.cc:
Don't scheduling interrupt events if we are not binning interrupts
kern/tru64/tru64_system.cc:
set the bin_int boolean in the system structure
--HG--
extra : convert_revision : 68eea9c448f1c481fc79be1777acb536d6385495