Initial very simple implementation of scheduler prefetching.

This algorithm simply prefetches any pages touched the last quantum
a thread executed.