···178178 else if final.isLoongArch64 then "loongarch"
179179 else final.parsed.cpu.name;
180180181181+ # https://source.denx.de/u-boot/u-boot/-/blob/9bfb567e5f1bfe7de8eb41f8c6d00f49d2b9a426/common/image.c#L81-106
182182+ ubootArch =
183183+ if final.isx86_32 then "x86" # not i386
184184+ else if final.isMips64 then "mips64" # uboot *does* distinguish between mips32/mips64
185185+ else final.linuxArch; # other cases appear to agree with linuxArch
186186+181187 qemuArch =
182188 if final.isAarch32 then "arm"
183189 else if final.isS390 && !final.isS390x then null