c2port: fix bogus Kconfig "default no"