[linux-morello] Re: [PATCH v4 00/10] Update in kselftests for Gcc