Clean up interrupt handler output. Fixes the following kernel error message:
unhandled interrupt ...
Convert documentation to DocBook, so that PDF, HTML and PostScript (.ps) output is readily available.