Some of the examples only build on xen: adjust Makefile to cope

We should enhance the base mirage platform so that these (or similar)
examples work.