Add base kernel support for the TI DaVinci platform.

This patch only includes interrupts, timers, CPU identification,
serial support and basic power and sleep controller init. More
drivers to come.

Signed-off-by: Kevin Hilman
Signed-off-by: Russell King