Re: [PATCH 36/57] arm: Remove ts4800 board