ARM: ts4800: add basic board support