Re: [PATCH 5.15 v2 1/5] arch: fix broken BuildID for arm64 and riscv