Add OMAP4-based DuoVero as a machine.

This uses a Linux 3.6-based kernel.