Fix a couple of places I noticed where "X86" was hard-coded.