gpio/Kconfig: Fix X86 arch name