kern/180402: XEN kernel does not load in XenClient 4.5.5

[Rashid N. Achilov]

>Number:         180402
>Category:       kern
>Synopsis:       XEN kernel does not load in XenClient 4.5.5
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Tue Jul 09 03:50:00 UTC 2013
>Closed-Date:
>Last-Modified:
>Originator:     Rashid N. Achilov
>Release:        FreeBSD 9.1-STABLE
>Organization:
LLC AS-System Complex
>Environment:
FreeBSD 9.1-STABLE #1: Mon Jul  8 15:14:50 NOVT 2013 root at xen-fbsd.askd.gmbh:/usr/obj/usr/src/sys/GENERIC i386
>Description:
Kernel, compiled in PV mode with typical kernel configuration file XEN cannot be loaded - immediately after command "load /boot/kernel.XEN/kernel" at loader screen system goes to reboot
>How-To-Repeat:
Install XenClient 4.5.5 directly from Citrix
Compile kernel with configuration file XEN
Try to load this kernel
You falied
>Fix:
None

>Release-Note:
>Audit-Trail:
>Unformatted: