xendevsummit14: polish the xenstore section a bit

Signed-off-by: David Scott <dave.scott@citrix.com>