Re: [PATCH 07/16] arm: Remove ot1200 board