[PATCH 6.12 155/626] xen: Add support for XenServer 6.1 platform device