e019024 Fix the arm64 xen_boot build.

Authored and Committed by pjones 5 years ago
    Fix the arm64 xen_boot build.
    
    Signed-off-by: Peter Jones <pjones@redhat.com>