Booting OpenBSD in XenServer

If OpenBSD hangs while trying to boot in a XenServer virtual machine, run the following at the boot prompt:

boot> boot -c
UKC> disable uhci
UKC> quit

Then, after booting, log in as root and run:

# config -e -f /bsd
ukc> disable uhci
ukc> quit