[Xen-devel] compile fixes for mini-os

[Kip Macy <kmacy@xxxxxxxxxxx>]

I'm compiling the mini-os files in the FreeBSD build environment which
uses the following extra flags:

-Wcast-qual -Wredundant-decls -Wnested-externs -Wstrict-prototypes 
-Wpointer-arith -Winline -ansi

This produces a number of annoying warnings which are fixed by the
attached patch. In addition the sabon.sty doesn't exist in my
environment - I was able to comment it out in style.tex any
apparent ill effect.

diffout
Description: Text document