xenlight: minor update to what is now upstream

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>