xen: Fix for build break in XEN

Change-Id: Ied0de80906043ddf311d9312ff64a62967bc9058
Signed-off-by: Anirban Chakraborty <abchak@juniper.com>