[Bug 623680] xen kernel freezes during boot when processor module is loaded