[PATCH 07/11] Convert CONFIG_SYS_PCI_64BIT to Kconfig