Re: [PATCH 13/57] arm: Remove bcm958712k board