ARM: ts4600: add basic board support