XENBUS #43

BUILD #43 (May 28, 2014 12:42:00 PM)

    Tighten up rangeset auditing and add separate counts for items and ranges — paul.durrant

BUILD #41 (May 28, 2014 12:32:49 PM)

    Fix 0xC4 BSOD from Pool code. — owen.smith

Signed-off-by: Paul Durrant <paul.durrant@citrix.com>