[ARM] i.MX: fix guest choice for KZM

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
[DOCS] i.MX: add KZM documentation

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
[DRIVERS] i.MX UART: disable TX interrupts.

The code does not work on real hardware for now.

Need fixing.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
[ARM] i.MX timer: increase the minimum time for a timer expire.

We need this time to have a minimum value to get a normal
behavior on real hardware.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
[ARM] Add i.MX25 3DStack evaluation board from Freescale.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
Merge branch 'dev_imx31' of github.com:jcdubois/xvisor-arm into dev_imx31