Due to a marvell m.2 chipset for one of the SSDs you need to add pci-phantom=02:00,1 to the xen.cfg on the installer and in the boot partition of the hard disk (or just dont use a marvell m.2 ssd).
Additionally 3.2RC1 sets dom0 max memory to 4GB on install. removed min and max values in Xen boot options.
- FN Keys
Laptop gets very hot in sleep mode.
Kernel support for TPM [pcrs devices missing]