Re: [PATCH 07/25] arm: Remove apx4devkit board