[Bug 396129] intel: hangs when reading BIOS with Xen kernel (945GM)