xl create crash when using stub domains

[Jeremy Fitzhardinge <jeremy@goop.org>]

When I create an HVM domain with stubdom enabled, it crashes at:

(gdb) run create  -c /etc/xen/f14hv64  vcpus=4 xen_platform_pci=0 'boot="d"'
Starting program: /usr/sbin/xl create  -c /etc/xen/f14hv64  vcpus=4 xen_platform_pci=0 'boot="d"'
[Thread debugging using libthread_db enabled]
Parsing config file /etc/xen/f14hv64
xc: info: VIRTUAL MEMORY ARRANGEMENT:
  Loader:        0000000000100000->000000000017b9ec
  TOTAL:         0000000000000000->000000003f800000
  ENTRY ADDRESS: 0000000000100000
xc: info: PHYSICAL MEMORY ALLOCATION:
  4KB PAGES: 0x0000000000000200
  2MB PAGES: 0x00000000000001fb
  1GB PAGES: 0x0000000000000000
xc: error: panic: xc_dom_bzimageloader.c:588: xc_dom_probe_bzimage_kernel: kernel is not a bzImage: Invalid kernel
Detaching after fork from child process 26888.
[New Thread 0x7ffff7342700 (LWP 26889)]
[Thread 0x7ffff7342700 (LWP 26889) exited]
[New Thread 0x7ffff7342700 (LWP 26921)]

Program received signal SIGSEGV, Segmentation fault.
0x00007ffff7bbbec5 in libxl__wait_for_device_model (gc=0x7fffffffdbb0, 
    domid=22, state=0x7ffff7bc1b8c "running", starting=0x623760, 
    check_callback=0, check_callback_userdata=0x0) at libxl_device.c:555
555	    if (starting && starting->for_spawn->fd > xs_fileno(xsh))
(gdb) bt
#0  0x00007ffff7bbbec5 in libxl__wait_for_device_model (gc=0x7fffffffdbb0, 
    domid=22, state=0x7ffff7bc1b8c "running", starting=0x623760, 
    check_callback=0, check_callback_userdata=0x0) at libxl_device.c:555
#1  0x00007ffff7bb37b5 in libxl__confirm_device_model_startup (
    gc=0x7fffffffdbb0, starting=0x623760) at libxl_dm.c:922
#2  0x00007ffff7bb229b in do_domain_create (gc=0x7fffffffdbb0, 
    d_config=0x7fffffffde30, cb=0x40a053 <autoconnect_console>, 
    priv=0x7fffffffde14, domid_out=0x619ed8, restore_fd=-1)
    at libxl_create.c:576
#3  0x00007ffff7bb2481 in libxl_domain_create_new (ctx=<optimized out>, 
    d_config=<optimized out>, cb=<optimized out>, priv=<optimized out>, 
    domid=<optimized out>) at libxl_create.c:626
#4  0x0000000000409424 in create_domain (dom_info=0x7fffffffe0c0)
    at xl_cmdimpl.c:1520
#5  0x000000000040ceef in main_create (argc=6, argv=0x7fffffffe6b0)
    at xl_cmdimpl.c:3188
#6  0x000000000040501b in main (argc=6, argv=0x7fffffffe6b0) at xl.c:151

The stubdom seems fine, and when I unpause the main domain it seems to work fine.

	J