Re: [PATCH 24/57] arm: Remove tricorder board