[Bug 732424] Can't boot into Xen - Error 13: Invalid or unsupported executable format