rumpkern_demo: Do not constantly try to close closed fds

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
Config.mk: Make it possible to override XEN_HEADERS

This makes it possible to build against a checked out and built but
not installed xen tree, etc.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>