This patch introduces a documentation file to record reservations of ranges of PCI device IDs within the Xen vendor ID 0x5853. Signed-off-by: James Bulpin <james.bulpin@citrix.com> Acked-by: Keir Fraser <keir@xen.org>