can not boot from xen in devcloud solution

[Guangjian Liu]

Can not boot from xen in devcloud solution, when choice boot menu "Xen
4.1-i386 ", it switch to black screen after a while. And only can boot to
menu "Linux 3.2.0-4-686-pae".

-- 
Guangjian