cernvm3 ISO boot fixes for Xen