The name is just a bit too generic, and we already use the _X86 prefix
for lots of other stuff in that area.  Dito for the never use CONFIG_PC
and CONFIG_VISWS.