[linux-morello] Re: [PATCH] selftests/vDSO: Fix type casts in get_sysinfo_ehdr()