Fix hardcoded x86 in Makefile echos