Re: [PATCH v2 0/6] arm64: synquacer: DeveloperBox updates