Core.Std commented out for xen compilation. Waiting for a fix. Config changed.