Xen 4.5RC3 boot fail on MinnowBoard MAX

Xen 4.5.0-rc (c/s Wed Dec 3 10:31:22 2014 -0500 git:3a80985) EFI loader
Using configuration file 'xen.cfg'
kgen318: 0x00000000737be000-0x0000000073df67f0fg
rgen318: 0x0000000072619000-0x00000000737bd895

(XEN) Xen version 4.5.0-rc (dsd@t.org) (gcc (Ubuntu 4.8.2-19ubuntu1) 4.8.2) debug=y Wed Dec  3 22:02:51 CST 2014
(XEN) Latest ChangeSet: Wed Dec 3 10:31:22 2014 -0500 git:3a80985
(XEN) Bootloader: EFI
(XEN) Command line: console=vga,com1 com1=115200 loglvl=all apic_verbosity=debug iommu=debug dom0_mem=256M,max:256M
(XEN) Video information:
(XEN)  VGA is graphics mode 800x600, 32 bpp
(XEN) Disc information:
(XEN)  Found 0 MBR signatures
(XEN)  Found 1 EDD information structures
(XEN) EFI RAM map:
(XEN)  0000000000000000 - 000000000008f000 (usable)
(XEN)  000000000008f000 - 0000000000090000 (ACPI NVS)
(XEN)  0000000000090000 - 000000000009e000 (usable)
(XEN)  000000000009e000 - 00000000000a0000 (reserved)
(XEN)  0000000000100000 - 0000000020000000 (usable)
(XEN)  0000000020000000 - 0000000020100000 (reserved)
(XEN)  0000000020100000 - 0000000073df8000 (usable)
(XEN)  0000000073df8000 - 0000000073df9000 (ACPI data)
(XEN)  0000000073df9000 - 0000000073dfb000 (reserved)
(XEN)  0000000073dfb000 - 0000000073dfc000 (ACPI data)
(XEN)  0000000073dfc000 - 0000000073e02000 (reserved)
(XEN)  0000000073e02000 - 0000000073e03000 (ACPI data)
(XEN)  0000000073e03000 - 0000000073e5d000 (reserved)
(XEN)  0000000073e5d000 - 0000000073e71000 (ACPI NVS)
(XEN)  0000000073e71000 - 0000000073e82000 (ACPI data)
(XEN)  0000000073e82000 - 0000000073e83000 (ACPI NVS)
(XEN)  0000000073e83000 - 0000000073e84000 (ACPI data)
(XEN)  0000000073e84000 - 0000000073ed5000 (ACPI NVS)
(XEN)  0000000073ed5000 - 0000000073ed7000 (reserved)
(XEN)  0000000073ed7000 - 0000000073ee4000 (ACPI NVS)
(XEN)  0000000073ee4000 - 0000000073ee6000 (reserved)
(XEN)  0000000073ee6000 - 0000000073ee7000 (ACPI NVS)
(XEN)  0000000073ee7000 - 0000000073eed000 (reserved)
(XEN)  0000000073eed000 - 0000000073eee000 (ACPI NVS)
(XEN)  0000000073eee000 - 0000000073ef0000 (ACPI data)
(XEN)  0000000073ef0000 - 0000000073ef2000 (ACPI NVS)
(XEN)  0000000073ef2000 - 0000000079b4a000 (usable)
(XEN)  0000000079b4a000 - 0000000079b4b000 (reserved)
(XEN)  0000000079b4b000 - 0000000079c5c000 (usable)
(XEN)  0000000079c5c000 - 0000000079c5f000 (ACPI NVS)
(XEN)  0000000079c5f000 - 0000000079c9e000 (usable)
(XEN)  0000000079c9e000 - 0000000079ca0000 (reserved)
(XEN)  0000000079ca0000 - 0000000079ca3000 (usable)
(XEN)  0000000079ca3000 - 0000000079ca5000 (reserved)
(XEN)  0000000079ca5000 - 0000000079cc6000 (usable)
(XEN)  0000000079cc6000 - 0000000079cc8000 (reserved)
(XEN)  0000000079cc8000 - 0000000079cc9000 (ACPI NVS)
(XEN)  0000000079cc9000 - 0000000079d92000 (usable)
(XEN)  0000000079d92000 - 0000000079d93000 (ACPI NVS)
(XEN)  0000000079d93000 - 0000000079d94000 (usable)
(XEN)  0000000079d94000 - 0000000079d95000 (ACPI NVS)
(XEN)  0000000079d95000 - 0000000079dc5000 (usable)
(XEN)  0000000079dc5000 - 0000000079dc8000 (reserved)
(XEN)  0000000079dc8000 - 0000000079dc9000 (usable)
(XEN)  0000000079dc9000 - 0000000079dca000 (reserved)
(XEN)  0000000079dca000 - 0000000079dcc000 (usable)
(XEN)  0000000079dcc000 - 0000000079dcd000 (reserved)
(XEN)  0000000079dcd000 - 0000000079de3000 (usable)
(XEN)  0000000079de3000 - 0000000079e06000 (reserved)
(XEN)  0000000079e06000 - 0000000079e13000 (usable)
(XEN)  0000000079e13000 - 0000000079e14000 (reserved)
(XEN)  0000000079e14000 - 0000000079e1a000 (usable)
(XEN)  0000000079e1a000 - 0000000079e1c000 (reserved)
(XEN)  0000000079e1c000 - 0000000079e61000 (usable)
(XEN)  0000000079e61000 - 0000000079e65000 (reserved)
(XEN)  0000000079e65000 - 0000000079e8d000 (usable)
(XEN)  0000000079e8d000 - 0000000079e8e000 (reserved)
(XEN)  0000000079e8e000 - 0000000079ea8000 (usable)
(XEN)  0000000079ea8000 - 0000000079eab000 (reserved)
(XEN)  0000000079eab000 - 0000000079f00000 (usable)
(XEN)  0000000079f00000 - 0000000079f01000 (reserved)
(XEN)  0000000079f01000 - 0000000079f02000 (usable)
(XEN)  0000000079f02000 - 0000000079f05000 (reserved)
(XEN)  0000000079f05000 - 0000000079f06000 (usable)
(XEN)  0000000079f06000 - 0000000079f07000 (reserved)
(XEN)  0000000079f07000 - 0000000079f08000 (usable)
(XEN)  0000000079f08000 - 0000000079f09000 (reserved)
(XEN)  0000000079f09000 - 0000000079fba000 (usable)
(XEN)  0000000079fba000 - 0000000079fbc000 (reserved)
(XEN)  0000000079fbc000 - 0000000079fdd000 (usable)
(XEN)  0000000079fdd000 - 0000000079fde000 (reserved)
(XEN)  0000000079fde000 - 0000000079ff9000 (usable)
(XEN)  0000000079ff9000 - 0000000079ffc000 (reserved)
(XEN)  0000000079ffc000 - 000000007a61e000 (usable)
(XEN)  000000007a61e000 - 000000007a61f000 (reserved)
(XEN)  000000007a61f000 - 000000007a622000 (usable)
(XEN)  000000007a622000 - 000000007a623000 (reserved)
(XEN)  000000007a623000 - 000000007b000000 (usable)
(XEN)  00000000e00f8000 - 00000000e00f9000 (reserved)
(XEN)  00000000fed01000 - 00000000fed02000 (reserved)