kern/linux/linux_system.cc:
add binned_fns parameter to System, remove nonLinux events from LinuxSystem, fix ~LinuxSystem() by adding delete of some things that need to be deleted.
kern/linux/linux_system.hh:
fix header file to go with linux_system.cc, removing nonLinux events and adding binned_fns param.
kern/tru64/tru64_system.cc:
add somme consistency by having having binned_fns be _binned_fns in the Tru64System arg list.
--HG--
extra : convert_revision : b2ec0c1614e185aafa177c220b91d1f6a4fe6876
f42b13afc1