kexts: fbcon: use ttyFBX name format for tty devices

kexts/drivers/tty/fbcon/main.c

@@ -67,6 +67,9 @@ kern_status_t start_console_on_framebuffer(struct device *fb)
 
 	struct device *tty = tty_device_create();
 
+	/* TODO actual IDs for FB tty devices */
+	snprintf(tty->dev_name, sizeof tty->dev_name, "ttyFB0");
+
 	kern_status_t status;
 	if (fb_mode.fb_flags & FB_MODE_VGATEXT) {
 		status = init_vgacon_console(tty, fb);