[Bug 463406] EDD info incorrrectly(?) sought in Xen DomU bootup