import xen 32 bit paravirtual kernel from /n/sources/xen.
xen: fix early console