zedboard_pulpino 1) has a 16750 uart, which is compatible with the uart_ns16550 driver. 2) make use of the pulpino timer driver Change-Id: Ifda710fc8dea547ada05bb42e604d7cfdff284d5 Signed-off-by: Jean-Paul Etienne <fractalclone@gmail.com>