[coreboot] How to set different defaults for Kconfig values like `CONFIG_USBDEBUG_DEFAULT_PORT`