[RFC PATCH 0/6] ARM: initial Tegra support

[Antony Pavlov]

This series make possible to run barebox on the Toshiba AC100 smartbook.
The smartbook is based on Tegra2 chipset.

This patches are very preliminary and lack many important things
such mmu&cache support and clocksource programming;
so to start barebox you need u-boot for hardware initialisation.

Please comment the patches, particularly this easy-one:
  [RFC PATCH 4/6] arm: cpuinfo: Cortex-A9 dirty hack