Very basic support for Nvidia Tegra2: timer, interrupts, UART. Submitted by: Damjan Marion <dmarion@freebsd.org>