[Bug 329709] When starting up with the xen kernel the system doesn' t boot up completely.