updating Xen public headers

[Christoph Egger <Christoph_Egger%gmx.de@localhost>]

Hi,

NetBSD still uses xen public headers from Xen 3.3.0.
I want to rename xen3-public to xen-public and then
update them to Xen 4.1.2.

The new headers are backward-compatible.

For renaming, I want to do it this way:

1. Re-import the files from xen3-public into new directory (xen-public)
2. Update all files to use headers from xen-public
3. Remove xen3-public
4. Import headers from Xen 4.1.2
5. Resolve conflicts

Any comments?

Christoph