debian: update /etc/default/xen

Fixes #12

Signed-off-by: David Scott <dave.scott@eu.citrix.com>