xen: Update xen.h to upstream + provide stubs.

Change-Id: Id6b3da4ac62f1ffaf35155adb3f70589a359cab1
8 files changed