On Wed, Apr 30, 2025 at 3:47 PM David Matlack <dmatlack at google.com> wrote: > > Use $(SRCARCH) in Makefile.kvm instead of $(ARCH). The former may have > been set on the command line and thus make will ignore the variable > assignment to convert x86_64 to x86. Blegh I meant to say "The latter ...".