Adjust typesetting of code

be more specific (thanks Mark Morrissey)

from picirq.c and remove timer.c completely.  Update runoff.list.

updated copyright year

There is a potential memory leak when mappages() fails inside setupkvm().
A call to freevm() is added in this case so as to reclaim the lost mapping pages.