[PATCH 12/17] Convert CONFIG_SH7751_PCI to Kconfig