Re: [PATCH v1 05/11] console: Set console device counter in console_devices_set()