Re: [PATCH 05/57] arm: Remove ts4600 board