CPU scheduling

Some ideas but no complete solution yet:

deal with userland processes as a whole

accounting of interrupt work using either profiling timer or TSC

use measurement results to dynamically set thresholds for polling

probably not feasible with (unmodified) interrupt-based drivers