Re: [PATCH 11/13] board: synquacer: Add DeveloperBox 96boards EE support