* NMI handling needs attention in both Xen and Dom 0
* Kexecing after kexecing (Xen->Xen->Xen) doesn't seem to work.
* Does phys_efi work on the rx2620?
  - AP seems to get stuck when second kernel boots
* Security problem when alternate EFI-mapping
  - VTI domains can access EFI pages
  - EFI may alias VTI domain memory
  - Reserve a RID for EFI
* kexec-tools does not die gratefully on unpached (old) kernels
* It seems that stopping cpu 0 doesn't work
  - sometimes occurs when preforming kdump
