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